From implicit specifications to explicit designs in reactive system development

DOI10.1007/3-540-47884-1_4MaRDI QIDQ4737552zbMATH OpenFDO

Authors David Clark, Kelly Androutsopoulos, K. Lano

Publication date 11 August 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2335/23350049.htm

zbMATH Keywords

B AMNmodel-checkingReactive SystemsRSDSUML

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• On hierarchically developing reactive systems
• scientific article; zbMATH DE number 3930354
• Techniques for reactive system design: the tools in TRADE
• Diagram refinements for the design of reactive systems
• Reactive system refinement of distributed systems in B

Cited in

(2)

• Model-based generation of SDL specifications for the early prototyping of reactive systems
• Recent Trends in Algebraic Development Techniques

This page was built for publication: From implicit specifications to explicit designs in reactive system development

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4737552)