170 search results - page 10 / 34 » Formal Methods Application: An Empirical Tale of Software De... |
ISOLA
2004
Springer
14 years 25 days 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...
ASWEC
2010
IEEE
13 years 7 months ago
2010
IEEE
—When building software systems, developers have to weigh the benefits of using one specific solution approach against the risks and costs of using another one. This process is...
JSS
2002
13 years 7 months ago
2002
As a baseline for software development, a correct and complete requirements definition is one foundation of software quality. Previously, a novel approach to static testing of sof...
KBSE
1998
IEEE
13 years 11 months ago
1998
IEEE
Formal approaches to software reuse rely heavily upon specificationmatchingcriterion, where asearch query using formal specifications is used to search a library of components ind...
ACSD
1998
IEEE
13 years 11 months ago
1998
IEEE
The development of an interactive application is a complex task that has to consider data, behavior, intercommunication, architecture and distribution aspects of the modeled syste...