977 search results - page 71 / 196 » Formal methods integration in software engineering |
133
click to vote
PROFES
2001
Springer
15 years 8 months ago
2001
Springer
Change and evolution of business and technology imply change and evolution of development processes. Besides that for a certain enterprise and/or project we will usually integrate ...
137
click to vote
CBSE
2008
Springer
15 years 6 months ago
2008
Springer
Component based development of software systems needs to devise effective test management strategies in order fully achieve its perceived advantages of cost efficiency, flexibility...
126
click to vote
KBSE
1998
IEEE
15 years 8 months ago
1998
IEEE
Specification-based retrieval provides exact contentoriented access to component libraries but requires too much deductive power. Specification-based browsing evades this bottlene...
133
click to vote
FIW
2007
15 years 5 months ago
2007
Feature interaction detection in the context of systems that are highly integrated into their environment, such as embedded or software-intensive systems, is different from classi...
155
click to vote
ICECCS
2009
IEEE
15 years 10 months ago
2009
IEEE
Distributed information systems are critical to the functioning of many businesses; designing them to be dependable is a challenging but important task. We report our experience i...