2,847 papers · page 140 of 143
What Can Programming Languages Contribute to Software Engineering, and Vice Versa? (Panel)
No abstract available.
Dynamic Structure in Software Architectures
Much of the recent work on Architecture Description Languages (ADL) has concentrated on specifying organisations of components and connectors which are static. When the ADL specification is used to drive system construction, then the structure of the resulting system in terms of …
Using Object-Oriented Typing to Support Architectural Design in the C2 Style
Software architectures enable large-scale software development. Component reuse and substitutability, two key aspects of large-scale development, must be planned for during software design. Object-oriented (OO) type theory supports reuse by structuring inter-component relationshi…
Software Architecture Styles as Graph Grammars
We present a formalism for the definition of software architectures in terms of graphs. Nodes represent the individual agents and edges define their interconnection. Individual agents can communicate only along the links specified by the architecture. The dynamic evolution of the…
Verification of Communication Protocols Using Data Flow Analysis
In this paper we demonstrate the effectiveness of data flow analysis for verifying requirements of communication protocols. Data flow analysis is a static analysis method for increasing confidence in the correctness of software systems by automatically verifying that a given soft…
Specification-based Testing of Synchronous Software
Synchronous programming makes the implementation of reactive software easier and safer. Automatic formal verification methods based on model-checking have been developed within the synchronous approach to prove the satisfaction by the software of safety properties. But these meth…
Engineering Bridges: From Concept to Reality (Abstract)
No abstract available.
Software Systems Architecting (Abstract)
No abstract available.
Predicting the Cost-Effectiveness of Regression Testing Strategies
Selective regression testing strategies aim at choosing an appropriate subset of test cases from among a previously run test suite for a software system, based on information about the changes made to the system to create new versions. Although there has been a significant amount…
Evolution of Object Behavior Using Context Relations
A collection of design patterns was described by Gamma, Helm, Johnson, and Vlissides in 1994. Recognizing that designs change, each pattern ensures that a certain system aspect can vary over time such as the operations that can be applied to an object or the algorithm of a method…
Program Generalization for Software Reuse: From C to C++
We consider the problem of software generalization: Given a program component C, create a parameterized program component C′ such that C′ is usable in a wider variety of syntactic contexts than C. Furthermore, C′ should be a semantically meaningful generalization of C; namely, th…
Decoupling Change from Design
Parnas' seminal 1972 paper, "On the Criteria To Be Used in Decomposing Systems into Modules," identified simplifying change as a critical criterion for modularizing software. Successful designs are those in which a change can be accommodated by modifying a single module. There is…
Program Decomposition for Pointer Aliasing: A Step Toward Practical Analyses
Pointer aliasing analysis is crucial to compile-time analyses for languages with general-purpose pointer usage (such as C), but many aliasing methods have proven quite costly. We present a technique that partitions the statements of a program to allow separate, and therefore poss…
Feature Interactions in the Global Information Infrastructure (Panel)
The international telecommunications system is the world's largest distributed computing system, offering a wide range of services and service features.Telecommunications service providers are eager to offer new services on this infrastructure, but the development of these new se…
Compositional Reachability Analysis of Finite-State Distributed Systems with User-Specified Constraints
The software architecture of a distributed system can be described as a hierarchical composition of subsystems, with SIGSOFT '95 Washington, D. C.. USA
Liveness Conditions in Model-Based Service Specifications: A Case Study
Many different formal methods provide mathematical models of reactive systems (those that interact with an environment to provide a service).There is disagreement on many details, but many methods use the transition
Interconnecting Formalisms: Supporting Modularity, Reuse and Incrementality
The necessity to deal simultaneously with different formalisms seems to be intrinsic to the discipline of Software Engineering, particularly in relation to modularity, reusability and incremental ity. In order to accommodate this diversity of formalisms, some authors have propose…
Software Architecture: Next Steps Towards an Engineering Discipline for Software Systems Design (Panel)
No abstract available.
Hybrid Slicing: An Approach for Refining Static Slices Using Dynamic Information
Article Free Access Share on Hybrid slicing: an approach for refining static slices using dynamic information Authors: Rajiv Gupta Dept. of Computer Science, University of Pittsburgh, Pittsburgh, PA Dept. of Computer Science, University of Pittsburgh, Pittsburgh, PAView Profile ,…