4,951 papers · page 220 of 248
On the Assessment of Safety-Critical Software Systems
Evaluation of Software Safety
Prism = Methodology + Process-oriented Environment
Reengineering: Can a Program Put Intelligence in Stupid Programs?
Software Process à la Algebra: OBJ for OBJ
An Environment for Specifying and Executing Hierarchical Petri Nets
A Rule-Based Approach to Modular System Design
ISPW5: Experience with Software Process Models (Workshop Report)
Some Experiences of Critical Software Development
Negotiation Behavior During Requirements Specification
A Decision-Based Configuration Process Model
TRW's Ada Process Model for Incremental Development of Large Software Systems
Towards Systems Engineering: A Personal View of Progress
Assessing Failure Probabilities in Safety-Critical Systems Containing Software
Specification Level Interoperability
Using Object-Oriented Development for Support Prototyping (Experience Report)
Object Management in a CASE Environment
The Sun Network Software Environment (NSE) is a network-based object manager for software development.The NSE supports parallel development through an optimistic concurrency control mechanism, in which developers do not acquire locks before modifying objects.Instead, developers c…
A Knowledge-Based Environment for the Development of Software Parts Composition Systems
A number of systems have been developed that demonstrate the utility of knowledge-based techniques in the construction of software reuse systems. The amount of manual effort expended in the development of such systems can be reduced through the use of a knowledge acquisition envi…
Software Engineering in the Year 2001
No abstract available.