Author of the publication

On the Effectiveness of Slicing Hierarchical State Machines: A Case Study.

, , and . EUROMICRO, page 10435-10444. IEEE Computer Society, (1998)

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

Requirements Capture and Evaluation in Nimbus: The Light-Control Case Study., , and . J. Univers. Comput. Sci., 6 (7): 731-757 (2000)Specification-Based Prototyping for Embedded Systems., , and . ESEC / SIGSOFT FSE, volume 1687 of Lecture Notes in Computer Science, page 163-179. Springer, (1999)Structuring product family requirements for n-dimensional and hierarchical product lines., and . Requir. Eng., 8 (1): 42-54 (2003)Specifying and Analysing System-Level Inter-Component Interfaces., and . Requir. Eng., 5 (4): 208-224 (2000)Specification and Analysis of System Level Inter-Component Communication., and . ICFEM, page 192-202. IEEE Computer Society, (1997)An Integrated Development Environment for Prototyping Safety Critical Systems., and . IEEE International Workshop on Rapid System Prototyping, page 172-177. IEEE Computer Society, (1999)Extending the Product Family Approach to Support n-Dimensional and Hierarchical Product Lines., and . RE, page 56-65. IEEE Computer Society, (2001)NIMBUS: A Tool for Specification Centered Development., , and . RE, page 349. IEEE Computer Society, (2003)On the Effectiveness of Slicing Hierarchical State Machines: A Case Study., , and . EUROMICRO, page 10435-10444. IEEE Computer Society, (1998)Specification and Analysis of Intercomponent Communication., , and . Computer, 31 (4): 47-54 (1998)