Spectrum: Concordia University Research Repository
metadata only
Techniques for specification and validation of complex protocols
Simple protocols can be described with natural language and pictures. This description is no longer adequate as protocols become more complex, or more people get involved. Formal Description Techniques (FDTs) have been developed to convey this information clearly and unambiguously (and as a basis fo
Conceptio Open Archive
Analyze & explore related research in Conceptio
Connect this record directly into your research workflow or AI agent. Explore citations across open repositories, query full text, and export structured proof bundles.
This document is indexed with metadata only: full text is not available in the archive for this record. Open the official source ↗
Related documents
- VALIDATING REQUIREMENTS SPECIFICATIONS STATED IN KNOWLEDGE REPRESENTATION LANGUAGE TEMPLAR#933483
- ACoRe: Automated Goal-Conflict Resolution#1104803
- Stepwise refinement of formal specifications based on logical formulae : from CO-OPN/2 specifications to Java programs#445109
- From Code to Requirements: Agentic Reverse Engineering of Business Rules at Enterprise Scale#1037402
- From Code to Requirements: Agentic Reverse Engineering of Business Rules at Enterprise Scale#1028781
Record · ID 1020387
Retrieved via Conceptio: every document is proof-bundled with source, license, and retrieval metadata.
Retrieved via Conceptio: every document is proof-bundled with source, license, and retrieval metadata.
Bring this data into your agent: Connect via MCP or API · 20 free credits to start · no card required
Read the Docs → · View CLI source on GitHub · Conceptio Open Knowledge Archive
Read the Docs → · View CLI source on GitHub · Conceptio Open Knowledge Archive