848 search results - page 1 / 170 » A Formal Monitoring-Based Framework for Software Development... |
ICFEM
2004
Springer
13 years 10 months ago
2004
Springer
A formal framework for software development and analysis is presented, which aims at reducing the gap between formal specification and implementation by integrating the two and al...
FCA
2005
Springer
13 years 10 months ago
2005
Springer
The class hierarchy is an important aspect of object-oriented software development. Design and maintenance of such a hierarchy is a difficult task that is often accomplished witho...
CSI
1998
13 years 4 months ago
1998
FASE
2008
Springer
13 years 6 months ago
2008
Springer
Web services are open, interoperable, easy to integrate and reuse, and are extensively used in many application domains. Research and best practices have produced excellent support...
JCSS
2011
12 years 11 months ago
2011
It is widely recognised that software development is a complex process. Among the factors that contribute to its inherent complexity is the gap between the design and the formal a...