A Survey of Object Oriented Analysis and Design Methods (Tutorial)
No abstract available.
4,951 papers · page 201 of 248
Choosing a Testing Method to Deliver Reliability
Testing methods are compared in a model where program failures are detected and the software changed to eliminate them.The question considered is whether it is better to use tests that seek out failures ("debug testing") or to simulate usage and find failures along the way ("oper…
Specification of Software Controlling a Discrete-Continuous Environment
In this paper, we present an object-oriented approach to the specification of discrete software controllers that are embedded in discrete-continuous (or hybrid) environments.The structure of the controller and its environment is specified using object notations extended to includ…
Hooking into Object-Oriented Application Frameworks
An object-oriented application framework provides a generic design within a given domain and a reusable implementation of that design.Frameworks have great potential for reuse, but that potential can only be achieved if the framework can be understood and used effectively by appl…
Effective Use of COTS (Commercial-off-the-Shelf) Software Components in Long Lived Systems (Tutorial)
No abstract available.
Software Engineering Data Analysis Techniques (Tutorial)
No abstract available.
Integrating Support for Temporal Media into an Architecture for Graphical User Interfaces
As computers are increasingly used for communicating information, multimedia has become an important component of interactive applications.Effective communication with multimedia requires tight media integration, highly interactive control over multimedia, and the use of multimed…
Software and Business Process Technology (Tutorial)
No abstract available.
Measuring Requirements Testing
Requirements are written to specify the functionality of a completed software system.Software systems are often released in segments called builds, each one adding new functionality and satisfying an additional set of requirements.New software requirements tools are allowing qual…
Workshop Summary: Process Modelling and Empirical Studies of Software Evolution
No abstract available.
Lessons Learned with the Systems Security Engineering Capability Maturity Model
No abstract available.
The SCR Method for Formally Specifying, Verifying, and Validating Requirements: Tool Support
No abstract available.
Endeavors: A Process System Infrastructure
No abstract available.
An Object-Oriented Testing and Maintenance Environment
No abstract available.
The Personal Software Process (PSP): A Full-Day Tutorial
No abstract available.
Early Specification of User-Interfaces: Toward a Formal Approach
The paper presents our work in the domain of formal specification of user-interfaces.We think that engineering user-interfaces would greatly benefit from the use of formal techniques.To achieve this goal, we need a framework with two properties.First, it must be based on a formal…
Specification-based Testing of Reactive Software: Tools and Experiments (Experience Report)
Testing commercial software is expensive and time consuming.Automated testing methods promise to save a great deal of time and money throughout the software industry.One approach that is well-suited for the reactive systems found in telephone switching systems is specification-ba…
Visualizing Interactions in Program Executions
Implementing, validating, modifying, or reengineering an object-oriented system requires an understanding of the object and class interactions which occur as a program executes.This work seeks to identify, visualize, and analyze interactions in object-oriented program executions …
Assessing Software Review Meetings: A Controlled Experimental Study Using CSRS
Software review is a fundamental component of the software quality assurance process, yet significant controversies exist concerning efficiency and effectiveness of various review methods.A central question surrounds the use of meetings: traditional review practice views them as …
An Architecture for WWW-based Hypercode Environments
A hypercode software engineering environment represents all plausible multimedia artifacts concerned with software development and evolution that can be placed or generated on-line, from source code to formal documentation to digital library resources to informal email and chat t…