Specification Components: Reusability at the HW/SW System Specification Level
Abstract
Recommendations
Formal Specification of Mixed Components with Korrigan
APSEC '01: Proceedings of the Eighth Asia-Pacific on Software Engineering ConferenceFormal specifications are now widely accepted in software development.Recently, he need for a separation ofconcerns with reference to static and dynamic aspects appeared.Furthermore, in order to be able to design complex architectures and communication ...
Prototyping of VLSI components from a formal specification
A trajectory from formal specification to component is presented, which can be used to prototype applications which combine off-the-shelf components and custom hardware, provided they meet the constraints of Synchronous Data Flow. The formal ...
Faithfully formalizing OSEK/VDX operating system specification
SoICT '12: Proceedings of the 3rd Symposium on Information and Communication TechnologyOSEK/VDX has proposed a standard for operating systems used in automotive systems. This standard is described in the form of informal specification. The informal specification is not suitable for applying formal methods to the whole of the software ...
Comments
Information & Contributors
Information
Published In
Publisher
IEEE Computer Society
United States
Publication History
Qualifiers
- Article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 0Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0