Author of the publication

Models of Hierarchical Machine Support.

, , , and . Formal Description of Programming Concepts, page 557-588. North-Holland, (1977)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

From Contract Drafting to Software Specification: Linguistic Sources of Ambiguity, , and . (November 2003)Deriving a Compiler From an Operational Semantics Written in VDL., and . Comput. Lang., 10 (2): 147-164 (1985)The prevalence and severity of persistent ambiguity in software requirements specifications: Is a special effort needed to find them?, and . Sci. Comput. Program., (2020)Reasoning about Inconsistency in RE - Separating the Wheat from the Chaff., , and . ENASE, page 377-382. SciTePress, (2016)The Use of a Module Interconnection Specification Capability in the SARA System Design Methodology., and . ICSE, page 294-307. IEEE Computer Society, (1979)Specification and Prototyping: Some Thoughts on Why They Are Successful., and . TAPSOFT, Vol.2, volume 186 of Lecture Notes in Computer Science, page 117-128. Springer, (1985)Downsizing EPMcreate to Lighter Creativity Techniques for Requirements Elicitation., , and . REFSQ Workshops, volume 1796 of CEUR Workshop Proceedings, CEUR-WS.org, (2017)On the time required for retention., , , , and . HLLCA, page 165-178. ACM, (1973)The Safety Requirements Engineering Dilemma.. IWSSD, page 147-149. IEEE Computer Society, (1998)An industrial case study of the impact of domain ignorance on the effectiveness of requirements idea generation during requirements elicitation., and . RE, page 279-283. IEEE Computer Society, (2013)