2597 search results - page 47 / 520 » A Relational Approach to Support Software Architecture Analy... |
SIGSOFT
2000
ACM
15 years 2 months ago
2000
ACM
We describe an extension to the Java programming language that supports static conformance checking and dynamic debugging of object "protocols," i.e., sequencing constra...
WCRE
2009
IEEE
15 years 4 months ago
2009
IEEE
The increasing amount of data available about software systems poses new challenges for re- and reverse engineering research, as the proposed approaches need to scale. In this con...
VLDB
1989
ACM
15 years 1 months ago
1989
ACM
with a full abstract specification of the data-types involved and a multi-level architecture similar to that of a DBMS. A related question is the kind of model that is most suitabl...
EUROMICRO
1996
IEEE
15 years 1 months ago
1996
IEEE
SHE (Software/Hardware Engineering) is an objectoriented analysis, specification and design method for complex reactive hardware/software systems. SHE is based on the formal speci...
IWPC
2003
IEEE
15 years 3 months ago
2003
IEEE
A key desideratum for many software comprehension tools is to reduce the mental burdens of software engineers. That is, the tools should support cognition. This key benefit is di...