BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
Collaborated with:
P.Pepper M.Broy W.Dosch M.Wirsing
Talks about:
abstract (2) requir (2) type (2) data (2) existenti (1) quantifi (1) definit (1) algebra (1) method (1) formal (1)

Person: Helmuth Partsch

DBLP DBLP: Partsch:Helmuth

Contributed to:

Requirements Engineering 19831983
ICALP 19791979

Wrote 3 papers:

RE-1983-Partsch #algebra #on the #requirements #using
On the Use of Algebraic Methods for Formal Requirements Definitions (HP), pp. 138–158.
RE-1983-PartschP #data type
Abstract Data Types as a Tool for Requirement Engineering (HP, PP), pp. 42–55.
ICALP-1979-BroyDPPW #data type #quantifier
Existential Quantifiers in Abstract Data Types (MB, WD, HP, PP, MW), pp. 73–87.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.