๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

A language construct for the specification of discontinuities

โœ Scribed by S. Javey

Publisher
Elsevier Science
Year
1988
Tongue
English
Weight
964 KB
Volume
8
Category
Article
ISSN
0164-1212

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

A Visual Syntax-directed Editor for the
A Visual Syntax-directed Editor for the Descartes Specification Language
โœ AMIR A. KHWAJA; JOSEPH E. URBAN ๐Ÿ“‚ Article ๐Ÿ“… 1997 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 674 KB

The front end of the software life cycle is an important phase in the development of quality software systems. Due to the interactive nature of the requirements specification phase, automated tools assist in capturing user concepts and conveying these concepts to the developers. This paper presents

A requirement specification language for
A requirement specification language for configuration dynamics of multiagent systems
โœ Mehdi Dastani; Catholijn M. Jonker; Jan Treur ๐Ÿ“‚ Article ๐Ÿ“… 2004 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 193 KB

In agent-mediated applications, the system configuration can change because of the creation and the deletion of agents. The behavior of such systems on the one hand depends on the dynamics of the system configuration; on the other hand, behavior of such a system consists of the information dynamics

GSL: a requirements specification langua
GSL: a requirements specification language for end-user intelligibility
โœ P. G. Wijayarathna; Y. Kawata; A. Santosa; K. Isogai; M. Maekawa ๐Ÿ“‚ Article ๐Ÿ“… 1998 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 159 KB ๐Ÿ‘ 2 views

GSL: A Requirements Specification Language for End-User Intelligibility p. g. wijayarathna, y. kawata, a. santosa, k. isogai and m. maekawa