Titlebook: Software Engineering - ESEC ‘93; 4th European Softwar Ian Sommerville,Manfred Paul Conference proceedings 1993 Springer-Verlag Berlin Heide

meritorious

Real-time systems: A survey of approaches to formal specification and verification,, emphasizing their ability to verify formal specifications and systematically derive test cases for the implementation. The specification languages reviewed here are TB nets (a specification formalism belonging to the class of high-level Petri nets) and TRIO (a real-time temporal logic language).

孵卵器

Software faults in evolving a large, real-time system: a case study, done in two parts: the first part surveyed all the faults that were reported and characterized them in terms of general categories; the second part resurveyed in depth the faults found in the design and coding phases. For the first part, we describe describe the questionaire, report the general fau

Flawless

Inconsistency handling in multi-perspective specifications,nowledge, responsibilities, and commitments. To address this we have advocated distributed development of specifications from multiple perspectives. However, this leads to problems of identifying and handling inconsistencies between such perspectives. Maintaining absolute consistency is not always p

transient-pain

Requirements engineering: An integrated view of representation, process, and domain,are-intensive systems and their evolution. In ESPRIT Basic Research Project NATURE, we are developing an integrative approach to requirements management based on a three-dimensional framework which addresses formalism as well as cognitive and social aspects. This leads to a new requirements process

危险

Making changes to formal specifications: Requirements and an example,dge the potential benefits to be gained from the mathematical modelling involved. One reason is that existing modelling techniques tend not to address basic software engineering concerns. In particular, while considerable attention has been paid to the construction of formal models, less attractive

小丑

alcohol-abuse

GOAT

A regression testing database model,le maintenance activity. Recently proposed regression testing strategies have problems in their practical use because of the lack of management and control information about regression testing or maintenance activities. The need for a database to aid regression testing has been recognised. This pape

名字

BROTH