Author of the publication

Arcade: early dynamic property evaluation of requirements using partitioned software architecture models.

, , , and . Requir. Eng., 8 (4): 222-235 (2003)

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

Enabling Iterative Software Architecture Derivation Using Early Non-Functional Property Evaluation., , and . ASE, page 172-182. IEEE Computer Society, (2002)The Systems Engineering Process Activities (SEPA) Methodology and Tool Suite., , , , and . AAAI/IAAI, page 1117-1118. AAAI Press / The MIT Press, (2000)Application of the SEPA Methodology and Tool Suite to the National Cancer Institute., , , , and . HICSS, IEEE Computer Society, (1999)Evaluating Dynamic Correctness Properties of Domain Reference Architectures Using a Combination of Simulation and Model Checking., , and . SEKE, page 19-28. (2001)System Engineering Processes Activities for Agent System Design: Component Based Development for Rapid Prototyping., , , and . ICEIS (3), page 196-202. (2005)Providing Early Feedback in the Development Cycle Through Automated Application of Model Checking to Software Architectures., , and . ASE, page 341-345. IEEE Computer Society, (2001)Sensible Agent Technology Improving Coordination and Communication in Biosurveillance Domains., , , , , , , , , and 2 other author(s). IJCAI, page 1631-1632. Morgan Kaufmann, (2003)Evaluating dynamic correctness properties of domain reference architectures., , and . Journal of Systems and Software, 68 (3): 217-231 (2003)Requirements Evolution and Reuse Using the Systems Engineering Process Activities (SEPA)., and . Australasian J. of Inf. Systems, (1999)Arcade: early dynamic property evaluation of requirements using partitioned software architecture models., , , and . Requir. Eng., 8 (4): 222-235 (2003)