Verification and Validation of Requirements for Mission Critical Systems
No abstract available.
4,951 papers · page 192 of 248
Engineering Distributed Objects (EDO 99) Workshop Summary
No abstract available.
Distributed Objects
This tutorial motivates the need for, and discusses the principles of object-oriented distribution middleware. We will give an overview how these principles are supported by the major incarnations of object-oriented middleware, the Object Management Group's Common Object Request …
Research Summary for Dynamic Detection of Program Invariants
No abstract available.
Dynamically Discovering Likely Program Invariants to Support Program Evolution
Article Free Access Share on Dynamically discovering likely program invariants to support program evolution Authors: Michael D. Ernst Dept. of Computer Science & Engineering, University of Washington, Box 352350, Seattle WA Dept. of Computer Science & Engineering, University of W…
Failure and Success Factors in Reuse Programs: A Synthesis of Industrial Experiences
No abstract available.
Managing by the Numbers: A Tutorial on Quantitative Measurement and Control of software Projects
No abstract available.
Software Process Maturity: Is Level five Enough?
No abstract available.
Architectural Framework Modeling in Telecommunication Domain
Article Free Access Share on Architectural framework modeling in telecommunication domain Authors: Giulio Fregonese Research & Technology Dept., Sodalia SpA, Via V. Zambra, 1 Trento, TN 38100, Italy Research & Technology Dept., Sodalia SpA, Via V. Zambra, 1 Trento, TN 38100, Ital…
A Specification Matching Based Approach to Reverse Engineering
Article Free Access Share on A specification matching based approach to reverse engineering Authors: Gerald C. Gannod Computer Science and Engineering, Arizona State University, Box 875406, Tempe, AZ Computer Science and Engineering, Arizona State University, Box 875406, Tempe, A…
The First International Symposium on Constructing Software Engineering Tools (CoSET'99)
No abstract available.
Architecting for Large-Scale Systematic Component Reuse
Organizations building highly complex business and technical systems must architect families of systems and implement these with large-scale component reuse. Without carefully architecting the systems, components, organizations and processes for reuse, reuse will not succeed. The…
A Cooperative Approach to Support Software Deployment Using the Software Dock
Software deployment is an evolving collection of interrelated processes such as release, install, adapt, reconfigure, update, activate, deactivate, remove, and retire. The connectivity of large networks, such as the Internet, is affecting how software deployment is being performe…
A Systems Engineering View of Requirements Management for Software-Intensive Systems
No abstract available.
Summary: Empirical Studies of Software Development and Evolution
Splitting the Organization and Integrating the Code: Conway's Law Revisited
It is widely acknowledged that coordination of large scale software development is an extremely difficult and persistent problem. Since the structure of the code mirrors the structure of the organization, one might expect that splitting the organization across time zones, culture…
Configurable Software Architecture in Support of Configuration Management and Software Deployment
No abstract available.
Dynamic Layout of Distributed Applications in FarGo
The design of efficient and reliable distributed applications that operate in large networks, over links with varying capacities and loads, demands new programming abstractions and mechanisms.The conventional static design-time determination of local-remote relationships between …
A Practical Method for Verifying Event-Driven Software
Formal verification methods are used only sparingly in software development.The most successful methods to date are based on the use of model checking tools.To use such tools, the user must first define a faithful abstraction of the application (the model), specify how the applic…
WinWin: A System for Negotiating Requirements
WinWin is a system that aids in the capture and recording of system requirements. It also assists in negotiation. The WinWin system has been available for several years and is being used by dozens of software development groups. In this presentation we go over the capabilities of…