3819 search results - page 39 / 764 » An Outsourcing Model of Software Development |
DATE
2003
IEEE
14 years 3 months ago
2003
IEEE
Automotive systems engineering has made significant progress in using formal methods to design safe hardware-software systems. The architectures and design methods could become a ...
IJET
2008
13 years 10 months ago
2008
Within the TENCompetence project we aim to develop and integrate models and tools into an open source infrastructure for the creation, storage and exchange of learning objects, sui...
RITA
2000
13 years 9 months ago
2000
This paper discusses how RETOOL, an action logic featuring an operator that expresses necessary conditions, postconditions and time bounds of actions, can be combined with MTL, a ...
ISOLA
2004
Springer
14 years 3 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...
ECMDAFA
2009
Springer
13 years 7 months ago
2009
Springer
Domain-specific modeling solutions have been promoted for some time in order to improve the productivity of software developers by providing them with modeling environments that ar...