2430 search results - page 137 / 486 » Tool support for quality-driven development of software arch... |
127
click to vote
KBSE
1997
IEEE
15 years 10 months ago
1997
IEEE
Abstract: This paper describes some tools to support formal methods, and conversely some formal methods for developing such tools. We focus on distributed cooperative proving over ...
174
click to vote
ICSE
1999
IEEE-ACM
15 years 10 months ago
1999
IEEE-ACM
Architecture Definition Languages (ADLs) enable the formalization of the architecture of software systems and the execution of preliminary analyses on them. These analyses aim at...
121
click to vote
ICSM
2002
IEEE
15 years 11 months ago
2002
IEEE
One of the most critical issues in large-scale software development and maintenance is the rapidly growing size and complexity of software systems. As a result of this rapid growt...
149
click to vote
ECSCW
2007
15 years 7 months ago
2007
The concept of awareness has come to play a central role in CSCW research. The coordinative practices of displaying and monitoring have received attention and have led to different...
173
click to vote
SERA
2010
Springer
15 years 4 months ago
2010
Springer
The importance of software measurement during the software development process is generally accepted, nowadays. Unfortunately, in practice common software measurement tools find s...