PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Atlee, Joanne M."

Author of the publication

copydeleteadd this publication to your clipboard
Measuring Behaviour Interactions between Product-Line Features.

, , and . FormaliSE@ICSE, page 20-25. IEEE Computer Society, (2015)

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.

M. Nudischer

M. Kratzer

M. Liewald

M. Fittingho

M. Christmann

 

Other publications of authors with the same name

State-Based Model Checking of Event-Driven System Requirements., and . IEEE Trans. Software Eng., 19 (1): 24-40 (1993)Template Semantics for Model-Based Notations., , and . IEEE Trans. Software Eng., 29 (10): 866-882 (2003)A Software Architecture Reconstruction Method., , and . WICSA, volume 140 of IFIP Conference Proceedings, page 15-34. Kluwer, (1999)Integrating requirements analysis and safety analysis., and . RE, page 158-159. IEEE Computer Society, (1995)Mapping Template Semantics to SMV., , , and . ASE, page 320-325. IEEE Computer Society, (2004)Research Directions in Requirements Engineering., and . FOSE, page 285-303. IEEE Computer Society, (2007)A pattern for structuring the behavioural requirements of features of an embedded system., and . RePa, page 1-7. IEEE Computer Society, (2013)Symbolic Model Checking of Product-Line Requirements Using SAT-Based Methods., , , and . ICSE (1), page 189-199. IEEE Computer Society, (2015)A Common Framework for Synchronization in Requirements Modelling Languages., , and . MoDELS (2), volume 6395 of Lecture Notes in Computer Science, page 198-212. Springer, (2010)Formal methods and analysis in software product line engineering: 4th edition of FMSPLE workshop series., , , , and . SPLC, page 266-267. ACM, (2013)