1525 search results - page 193 / 305 » Formal Models for Communication-Based Design |
ADAEUROPE
2007
Springer
14 years 2 months ago
2007
Springer
Current trends in software engineering promote the contention that the use of model-driven approaches should prove as beneficial to high-integrity systems as they have to business ...
TIDSE
2004
Springer
14 years 1 months ago
2004
Springer
The Interactive Dilemma is the inevitable conflict between author’s determinism and interactor’s freedom. There are some approaches that try to tackle it, using strategies and...
RE
2008
Springer
13 years 7 months ago
2008
Springer
NASA spends millions designing and building spacecraft for its missions. The dependence on software is growing as spacecraft become more complex. With the increasing dependence on...
ICSE
2003
IEEE-ACM
14 years 8 months ago
2003
IEEE-ACM
In this paper we discuss an approach for simulating the behaviour of interactive software systems, before starting on any of the actual implementation, based on a model of the sys...
ECRTS
2000
IEEE
14 years 23 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...