1823 search results - page 6 / 365 » Formal specification: a roadmap |
JOT
2010
13 years 6 months ago
2010
Requirements specification is a collaborative activity that involves several developers specifying the requirements elicited through several stakeholders. Operation-base merging a...
PLANX
2008
13 years 9 months ago
2008
We present an initial attempt at providing a formal specification for a mini
ENTCS
2008
13 years 7 months ago
2008
Automatic generation of formal specifications from requirement reduces cost and complexity of formal models creation. Thus, the generated formal model brings the possibility to ca...
MEMOCODE
2003
IEEE
14 years 27 days ago
2003
IEEE
CSP (Communicating Sequential Processes) is a useful algebraic notation for creating a hierarchical behavioural specification for concurrent systems, due to its formal interproces...
JOT
2007
13 years 7 months ago
2007
Agents Interaction Protocols (AIPs) play a crucial role in multi-agents systems development. They allow specifying sequences of messages between agents. Major proposed protocols s...