10159 search results - page 5 / 2032 » System Design Validation Using Formal Models |
ECIS
2003
13 years 9 months ago
2003
Information Systems (IS) design research tends to emphasise the development of new methods (normative research), while addressing the evaluation of methods in only a limited fashi...
SAC
2005
ACM
14 years 1 months ago
2005
ACM
KLAIM is an experimental language designed for modeling and programming distributed systems composed of mobile components where distribution awareness and dynamic system architect...
HICSS
2003
IEEE
14 years 1 months ago
2003
IEEE
Use case models capture and describe the functional requirements of a software system. A use case driven development process, where a use case model is the principal basis for con...
ECRTS
2000
IEEE
14 years 8 days ago
2000
IEEE
We present a tool for the design and validation of embedded real-time applications. The tool integrates two approaches, the use of the synchronous programming language ESTEREL for...
EMSOFT
2006
Springer
13 years 9 months ago
2006
Springer
Distributed real-time and embedded (DRE) systems have stringent constraints on timeliness and other properties whose assurance is crucial to correct system behavior. Formal tools ...