Author of the publication

An Algorithm to Support Code-Skeleton Generation for Concurrent Systems.

, , and . ICSE, page 125-135. IEEE Computer Society, (1981)

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)On the time required for retention., , , , and . HLLCA, page 165-178. ACM, (1973)The Use of a Module Interconnection Specification Capability in the SARA System Design Methodology., and . ICSE, page 294-307. IEEE Computer Society, (1979)Downsizing EPMcreate to Lighter Creativity Techniques for Requirements Elicitation., , and . REFSQ Workshops, volume 1796 of CEUR Workshop Proceedings, CEUR-WS.org, (2017)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)The Safety Requirements Engineering Dilemma.. IWSSD, page 147-149. IEEE Computer Society, (1998)Reasoning about Inconsistency in RE - Separating the Wheat from the Chaff., , and . ENASE, page 377-382. SciTePress, (2016)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)Requirement Ambiguity Not as Important as Expected - Results of an Empirical Evaluation., , , , and . REFSQ, volume 7830 of Lecture Notes in Computer Science, page 65-79. Springer, (2013)