Analysis of Software Architectures in High and Low Volume Electronic Systems, Industrial Experience Report
Abstract elided by the publisher.
2,847 papers · page 139 of 143
Software Engineering: An Unconsummated Marriage (Extended Abstract)
Abstract elided by the publisher.
The Tale of Two Projects - Abstract
Abstract elided by the publisher.
Expressing Code Mobility in Mobile UNITY
Abstract elided by the publisher.
A Contextual Approach for Process-Integrated Tools
Abstract elided by the publisher.
The Use of Program Profiling for Software Maintenance with Applications to the Year 2000 Problem
Abstract elided by the publisher.
A Design Framework for Internet-Scale Event Observation and Notification
Abstract elided by the publisher.
Subtypes for Specifications
Abstract elided by the publisher.
A Pattern-Based Application Generator for Building Simulation
Abstract elided by the publisher.
The Design of a Next-Generation Process Language
Abstract elided by the publisher.
What we Expect from Software Engineers in the Industry (Abstract)
Abstract elided by the publisher.
Comparing and Combining Software Defect Detection Techniques: A Replicated Empirical Study
Abstract elided by the publisher.
Model Checking Large Software Specifications
In this paper we present our results and experiences of using symbolic model checking to study the specification of an aircraft collision avoidance system. Symbolic model checking has been highly successful when applied to hardware systems. We are interested in the question of wh…
Automated Support for Seamless Interoperability in Polylingual Software Systems
Interoperability is a fundamental concern in many areas of software engineering, such as software reuse or infrastructures for software development environments. Of particular interest to software engineers are the interoperability problems arising in polylingual software systems…
Industrial Priorities for Software Engineering Research (Panel)
No abstract available.
Checking Relational Specifications With Binary Decision Diagrams
Checking a specification in a language based on sets and relations (such as Z) can be reduced to the problem of finding satisfying assignments, or models, of a relational formula. A new method for finding models using ordered binary decision diagrams (BDDs) is presented that appe…
Formal Refinement Patterns for Goal-Driven Requirements Elaboration
Requirements engineering is concerned with the identification of high-level goals to be achieved by the system envisioned, the refinement of such goals, the operationalization of goals into services and constraints, and the assignment of responsibilities for the resulting require…
Generating Oracles from Your Favorite Temporal Logic Specifications
This paper describes a generic tableau algorithm, which is the basis for a general customizable method for producing oracles from temporal logic specifications. A generic argument gives semantic rules with which to build the semantic tableau for a specification. Parameterizing th…
Tool Support for Planning the Restructuring of Data Abstractions in Large Systems
Restructuring software to improve its design can lower software maintenance costs. One problem in carrying out such a restructuring is planning the new detailed design. The star diagram manipulable visualization can help a programmer redesign a program based on abstract data type…
Abstracting Dependencies between Software Configuration Items
This paper studies an abstract model of dependencies between software configuration items based on a theory of concurrent computation over a class of Petri nets. The primary goal is to illustrate the descriptive power of the model and lay theoretical groundwork for using it to de…