1199 search results - page 60 / 240 » Software Verification and Software Engineering a Practitione... |
130
click to vote
QOSA
2007
Springer
15 years 10 months ago
2007
Springer
To support software architecture evaluation practices, several efforts have been made to provide a basis for comparing and assessing evaluation methods, document various best pract...
147
click to vote
KBSE
1999
IEEE
15 years 8 months ago
1999
IEEE
Modularization and abstraction are the keys to practical verification and analysis of large and complex systems. We present in an incremental methodology for the automatic analysi...
127
click to vote
WER
2004
Springer
15 years 9 months ago
2004
Springer
Systems development methodologies continue to be a central area of research in software engineering. As the nature of applications and systems usage move increasingly towards open ...
126
click to vote
KI
2007
Springer
15 years 10 months ago
2007
Springer
Abstract The paper analyzes UML, the well known software engineering tool, from the knowledge engineering perspective. The goal of the paper is to evaluate UML as the possible desi...
152
click to vote
KBSE
2010
IEEE
15 years 2 months ago
2010
IEEE
Situated software systems are an emerging class of systems that are predominantly pervasive, embedded, and mobile. They are marked with a high degree of unpredictability and dynam...