Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
- ArticleNovember 1998
Reasoning about implicit invocation
SIGSOFT '98/FSE-6: Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineeringNovember 1998, Pages 209–221https://doi.org/10.1145/288195.288312Implicit invocation [SN92, GN91] has become an important architectural style for large-scale system design and evolution. This paper addresses the lack of specification and verification formalisms for such systems. Based on standard notions from process ...
Also Published in:
ACM SIGSOFT Software Engineering Notes: Volume 23 Issue 6, Nov. 1998 - ArticleNovember 1998
Toward a formal theory of extensible software
SIGSOFT '98/FSE-6: Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineeringNovember 1998, Pages 88–98https://doi.org/10.1145/288195.288269As software projects continue to grow in scale and scope, it becomes important to reuse software. An important kind of reuse is extensibility, i.e., the extension of software without accessing existing code to edit or copy it. In this paper, we propose ...
Also Published in:
ACM SIGSOFT Software Engineering Notes: Volume 23 Issue 6, Nov. 1998 - ArticleNovember 1998
Formal modeling and analysis of the HLA component integration standard
SIGSOFT '98/FSE-6: Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineeringNovember 1998, Pages 70–79https://doi.org/10.1145/288195.288251An increasingly important trend in the engineering of complex systems is the design of component integration standards. Such standards define rules of interaction and shared communication infrastructure that permit composition of systems out of ...
Also Published in:
ACM SIGSOFT Software Engineering Notes: Volume 23 Issue 6, Nov. 1998 - ArticleNovember 1998
Automatic generation of state invariants from requirements specifications
SIGSOFT '98/FSE-6: Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineeringNovember 1998, Pages 56–69https://doi.org/10.1145/288195.288218Automatic generation of state invariants, properties that hold in every reachable state of a state machine model, can be valuable in software development. Not only can such invariants be presented to system users for validation, in addition, they can be ...
Also Published in:
ACM SIGSOFT Software Engineering Notes: Volume 23 Issue 6, Nov. 1998 - ArticleNovember 1998
Effective whole-program analysis in the presence of pointers
SIGSOFT '98/FSE-6: Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineeringNovember 1998, Pages 46–55https://doi.org/10.1145/288195.288217Understanding large software systems is difficult. Traditionally, automated tools are used to assist program understanding. However, the representations constructed by these tools often require prohibitive time and space. Demand-driven techniques can be ...
Also Published in:
ACM SIGSOFT Software Engineering Notes: Volume 23 Issue 6, Nov. 1998 - ArticleNovember 1998
Pattern-based design recovery of Java software
SIGSOFT '98/FSE-6: Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineeringNovember 1998, Pages 10–16https://doi.org/10.1145/288195.288207In this paper we show how to recover design information from Java source code. We take a pattern-based approach and proceed in a step by step manner deriving several layers of increasing abstraction. A compiler collects information about inheritance ...
Also Published in:
ACM SIGSOFT Software Engineering Notes: Volume 23 Issue 6, Nov. 1998