3514 search results - page 540 / 703 » Evolving Specification Engineering |
SCAM
2002
IEEE
14 years 3 months ago
2002
IEEE
This paper concerns the use of static analysis for debugging purposes of declarative object-oriented equation-based modeling languages. We propose a framework where over- and unde...
CSEE
2001
Springer
14 years 2 months ago
2001
Springer
Software Systems permeate just about every aspect of life throughout developed and industrialised nations today. When failures arise, the aftermath is highly complicated because t...
DBTEL
2001
Springer
14 years 2 months ago
2001
Springer
The DMTF’s recent work on management information modeling in the IP world has highlighted that a number of problems are still unsolved in this important area of enterprise manage...
ICSE
2001
IEEE-ACM
14 years 2 months ago
2001
IEEE-ACM
The paper focuses on investigating the combined use of semantic and structural information of programs to support the comprehension tasks involved in the maintenance and reenginee...
ICSE
2001
IEEE-ACM
14 years 2 months ago
2001
IEEE-ACM
Despite the advantages that object technology can provide to the software development community and its customers, the fundamental problems associated with identifying objects, th...