1031 search results - page 42 / 207 » On the Formal Development of Safety-Critical Software |
100
click to vote
OOPSLA
2007
Springer
15 years 6 months ago
2007
Springer
Current real-world software applications typically involve heavy use of relational and XML data and their query languages. Unfortunately object-oriented languages and database que...
128
Voted
UML
2001
Springer
15 years 5 months ago
2001
Springer
The work presented here is part of a project that aims at the definition of a methodology for developing realtime software systems based on UML. In fact, being relatively easy to ...
115
Voted
ISOLA
2004
Springer
15 years 6 months ago
2004
Springer
The article is concerned with an approach to model based test development for large software systems. The approach presented is a part of UniTesK test development technology, which...
102
Voted
FPL
2007
Springer
15 years 6 months ago
2007
Springer
This paper develops a formal model of process migration that describes programs, processes, and the migration of those processes within a migration realm. A migration realm is a g...
103
click to vote
B
1998
Springer
15 years 4 months ago
1998
Springer
This paper reports on the preparation of test cases using a prototype within the context of a formal development. It describes an approach to building a prototype using an example....