561 search results - page 17 / 113 » VSE: Controlling the Complexity in Formal Software Developme... |
150
click to vote
AGTIVE
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Domain specific modeling languages are of increasing importance for the development of software and other systems. Meta tools are needed to support rapid development of d...
102
Voted
SIGSOFT
2001
ACM
16 years 2 months ago
2001
ACM
This article explores a dual approach to real-time software development. Models are written in UML, as this is expected to be relatively easy and economic. Then models are automat...
90
Voted
RSP
1999
IEEE
15 years 6 months ago
1999
IEEE
Formal methods are a nice idea, but the size and complexity of real systems means that they are impractical. We propose that a reasonable alternative to attempting to specify and ...
111
click to vote
FM
2003
Springer
15 years 7 months ago
2003
Springer
The complexity of embedded controllers is steadily increasing. This trend, stimulated by the continuous improvement of the computational power of hardware, demands for a correspond...
126
click to vote
CASCON
1996
15 years 3 months ago
1996
"Anything that one cannot measure cannot be controlled." Software metrics provide insight into the quality of software, informing the developers about the status of a pr...