1005 search results - page 36 / 201 » Formal Software Development in MAYA |
134
click to vote
OOPSLA
2007
Springer
15 years 10 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...
164
click to vote
UML
2001
Springer
15 years 8 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 ...
144
click to vote
ISOLA
2004
Springer
15 years 9 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...
148
click to vote
FPL
2007
Springer
15 years 10 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...
136
click to vote
B
1998
Springer
15 years 8 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....