Author of the publication

The Need for a Multilevel Context-Aware Software Architecture Analysis and Design Method with Enterprise and System Architecture Concerns as First Class Entities.

, , and . WICSA, page 147-156. IEEE Computer Society, (2011)

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

Automated Analysis of Concurrent Systems With the Constrained Expression Toolset., , , , and . IEEE Trans. Software Eng., 17 (11): 1204-1222 (1991)Experiments with an Improved Constrained Expression Toolset., , , , and . Symposium on Testing, Analysis, and Verification, page 178-187. ACM, (1991)A Framework for the Efficient Production of Web Applications., and . ISCC, page 419-424. IEEE Computer Society, (2003)Modeling and Analysis of a Virtual Reality System with Time Petri Nets., , , and . ICSE, page 33-42. IEEE Computer Society, (1998)Compiling process algebraic specifications into timed automata., , and . COMPSAC, page 338-343. IEEE Computer Society, (1997)A Proof Lattice-Based Technique for Analyzing Liveness of Resource Controllers., and . CAV, volume 531 of Lecture Notes in Computer Science, page 292-301. Springer, (1990)A Specification-Based Approach to Concurrency Analysis., and . Autom. Softw. Eng., 2 (4): 265-309 (1995)Modeling and integration of hospital information systems with Petri nets., , , , and . SOLI, page 190-195. IEEE, (2009)Early Detection of Mental and Behavioral Health Issues from High-School Academic Performance., , , and . ICMLA, page 376-383. IEEE, (2023)A Petri-Net -Based Approach to Real-Time Program Analysis., and . IWSSD, page 56-60. IEEE Computer Society, (1993)