555 search results - page 42 / 111 » Software, regulation, and domain specificity |
IASTEDSE
2004
13 years 11 months ago
2004
In the development of software with evolving requirements, activities of requirements-engineering and management are present through the whole software development process and aff...
AC
2005
Springer
13 years 10 months ago
2005
Springer
The aim of this chapter is to give an overview of the theoretical foundation and the practical application of logic model checking techniques for the verification of multi-threade...
DAGSTUHL
2007
13 years 11 months ago
2007
Driven by the ongoing demographical, structural, and social changes in all modern, industrialized countries, there is a huge interest in IT-based equipment and services these days...
IASTEDSEA
2004
13 years 11 months ago
2004
Today's software faces escalating technical and business difficulties, yet it continues to be coded in static, inflexible structures that are not prepared for automation and ...
ENTCS
2008
13 years 10 months ago
2008
When thinking of MDE, the immediate understanding is that models drive software development, in the at the software is constructed by transforming models from higher levels of abs...