1326 search results - page 79 / 266 » Semantic Coherence in Software Engineering |
AMAST
2004
Springer
14 years 1 months ago
2004
Springer
JavaFAN uses a Maude rewriting logic specification of the JVM semantics as the basis of a software analysis tool with competitive performance. It supports formal analysis of concu...
AMAST
1998
Springer
14 years 1 days ago
1998
Springer
Abstract. One of the most novel features of Casl, the Common Algebraic Specification Language, is the provision of so-called architectural specifications for describing the modular...
KES
2004
Springer
14 years 1 months ago
2004
Springer
This paper1 is based on and advocates the trend in software engineering of extending the use of software patterns as means of structuring solutions to software development problems...
MSR
2009
ACM
14 years 14 days ago
2009
ACM
As more and more open-source software components become available on the internet we need automatic ways to label and compare them. For example, a developer who searches for reusa...
TAPSOFT
1991
Springer
13 years 11 months ago
1991
Springer
An operational and a denotational semantic model are presented for a real-time programming language incorporating the concept of integration. This concept of integration, which ha...