Requirements research has not had much effect in industry. A more appropriate research agenda would focus on several communication problems that plague requirements. Seven challenges are identified. All but one call f...
Requirements research has not had much effect in industry. A more appropriate research agenda would focus on several communication problems that plague requirements. Seven challenges are identified. All but one call f...
详细信息
ISBN:
(纸本)9780818623202
Requirements research has not had much effect in industry. A more appropriate research agenda would focus on several communication problems that plague requirements. Seven challenges are identified. All but one call for the development of improved methodology and enabling technologies rather than power tools or exotic languages.< >
The goal of formal methods is to base the software development process upon a workable set of mathematical techniques. The common names associated with various subclasses of formal methods express both the purpose and...
详细信息
The goal of formal methods is to base the software development process upon a workable set of mathematical techniques. The common names associated with various subclasses of formal methods express both the purpose and mode of the technique; formal specification, mathematical verification, proofs of correctness, formal description languages, rigorous development methods, stepwise refinement, etc. North American and European research groups took different technical directions. The author provides the perspective of one US researcher who has been particularly influenced by the international forces shaping the formal methods field as both a technical subject and a social enterprise.< >
It has long been recognized that certain kinds of vital information - usually informal and unstructured, often having to do with why certain actions are taken - are usually lost in large projects. One explanation may ...
详细信息
The essential properties are considered of a multiparty interaction construct which serves as a primitive for interprocess communication and. synchronization in distributed programs. It is claimed that more general co...
详细信息
The essential properties are considered of a multiparty interaction construct which serves as a primitive for interprocess communication and. synchronization in distributed programs. It is claimed that more general constructs, which violate the suggested properties, are appropriate for abstraction, but should not be seen as a communication primitive, and that both facilities are needed. Several acceptability criteria are posed for multiparty interactions, and various possibilities for constructs satisfying these criteria are presented. These include introducing a new kind of nondeterminism within the assignments of an interaction, allowing restricted iteration within interactions, weakening the synchronization among the participants in an interaction, and varying the number of participants in order to provide a high-level treatment of fault tolerance. [ABSTRACT FROM AUTHOR]
Raddle is a language for designing large, distributed systems. Raddle includes several high-level design constructs, such as the N-party interaction, nondeterministic choice, and system modularity structures. These co...
详细信息
Design decisions and assumptions that occur within and during the process of system design are not generally documented. The deliberation and much of the domain learning that went into resolving key design issues is t...
详细信息
ISBN:
(纸本)0818619120
Design decisions and assumptions that occur within and during the process of system design are not generally documented. The deliberation and much of the domain learning that went into resolving key design issues is thus wasted, increasing overall system costs. This cost is most apparent during maintenance, when a significant portion of engineer's time is spent trying to recover the lost rationale of the system structure. An approach is proposed for capturing this process-oriented material during development, indexed so that it provides this critical information to maintainers.
暂无评论