Titlebook: Requirements Targeting Software and Systems Engineering; International Worksh Manfred Broy,Bernhard Rumpe Conference proceedings 1998 The E

別炫耀

alliance

A Discipline for Handling Feature Interaction, independent of the formalism. Indeed, this seems to be the case of some rather novel concepts like the distinction between pre-features (features in isolation) and features, closed and open semantics, feature composition and discipline of feature interaction, and finally the pervading role of a kind of anti-frame assumption.

Aboveboard

A Framework for Evaluating System and Software Requirements Specification Approaches As an example for the application of the framework, our research agenda is outlined, focusing on requirements specification approaches for embedded systems. The experiments found in the literature regarding this topic are analyzed, issues that warrant more experimentation are identified, and finally, an additional set of experiments is proposed.

語(yǔ)源學(xué)

Merging Changes to Software Specificationse automated decision support for the evolution of software prototypes. We define a behavioral refinement ordering on software specifications and indicate how this structure can be used to automatically combine several changes to a specification. A set of examples illustrates the ideas.

肉體

Phagocytes

The Editor(s) (if applicable) and The Author(s) 1998

harbinger

Vulvodynia

0302-9743 Overview: Includes supplementary material: 978-3-540-49439-3Series ISSN 0302-9743 Series E-ISSN 1611-3349

無(wú)畏

易于出錯(cuò)