2255 search results - page 257 / 451 » High Assurance Software Systems |
172
click to vote
FM
1999
Springer
15 years 10 months ago
1999
Springer
Support for system speci cation in terms of modelling and simulation environments has become a common practice in safety-critical applications. Also, a current trend is the automat...
175
click to vote
DAGSTUHL
2004
15 years 8 months ago
2004
A large part of safety-critical embedded systems has to satisfy hard real-time constraints. These need sound methods and tools to derive reliable run-time guarantees. The guarante...
182
click to vote
METAINFORMATICS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. The Model-Driven Development (MDD) describes and maintains models of the system under development. The Unified Modeling Language (UML) supports a set of semantics and no...
236
click to vote
UIST
1992
ACM
15 years 10 months ago
1992
ACM
Distributed clientisewer models are becoming increasingly prevalent in multimedia systems and advanced user interface design. A multimedia application, for example, may play and r...
174
click to vote
ASWEC
2008
IEEE
15 years 8 months ago
2008
IEEE
Today, agile methods become a popular approach to develop software systems. They try to satisfy customer, respond to changes, release in less time and achieve suitable profits for...