H ?
«
‹
←
→
›
»
Language peer sets for PLUSS:
France↑
France/1984↑
Designed 1984 ↑
1980s languages ↑
Fourth generation↑
Late Cold War↑
PLUSS(ID:1110/plu005)
alternate simple view
Country: France
Designed 1984
Published: 1984
Proposition of a Language Useable for Structured Specifications. Algebraic specification language, built on top of ASL.
Related languages
ASL |
→
|
PLUSS | |
Extension of |
PLUSS |
→
|
Asspegique | |
Partial subset of |
PLUSS |
→
|
TFL | |
Based on |
References:
Gaudel, M.C. (1984) Gaudel, M.C. "A First Introduction to PLUSS", TR, U Paris Sud, Orsay 1984.
Bidoit, M.,Gaudel, M. C., & Mauboussin, A. (1988) Bidoit, M.,Gaudel, M. C., & Mauboussin, A. "How to make algebraic specifications more understandable" Research report No. 439. LRI, Universit Paris Sud 1988
Michel Bidoit: Recent Development of the PLUSS Spe (1988) Michel Bidoit: Recent Development of the PLUSS Specification Language. ADT 1988
(1989) Bidoit, M. "PLUSS, un langage pour le developpement de specifications algebriques modulaires" These d'Etat, Universite Paris-Sud, Orsay, 1989
Mauboussin, A.; Perdrix, H.; Bidoit, Michel; Gaude (1989) Mauboussin, A.; Perdrix, H.; Bidoit, Michel; Gaudel, Marie-Claude and Jacques Hagelstein. From an ERAE Requirements Specification to a PLUSS Algebraic Specificatiaon: A Case Study. Algebraic Methods 1989: 395-431
Michel Bidoit, Marie-Claude Gaudel, A. (1989) Michel Bidoit, Marie-Claude Gaudel, A. Mauboussin: How to Make Algebraic Specifications More Understandable: An Experiment with the PLUSS Specification Language. Sci. Comput. Program. 12(1): 1-38 (1989)
Extract:
PLUSS
Cerioli et al (1997) Cerioli, Maura; Gogolla, Martin; Kirchner, Helene; Bruckner, Bernd Krieg; Qian, Zhenyu; Wolf, Markus "Algebraic System Specification and Development - Survey and Annotated Bibliography" Second Edition Compass Group Bremen 1997
Abstract
ps
Extract:
PLUSS
Extract:
Search in:
Google
Google scholar
World Cat
Yahoo
Overture
DBLP
Monash bib
NZ
IEEE 
ACM portal
CiteSeer
CSB
ncstrl
jstor
Bookfinder
|