Amanote Research
Register
Sign In
Discovery of SOA Patterns via Model Checking
doi 10.1145/1294928.1294931
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 2007
Authors
Massimiliano Di Penta
Antonella Santone
Maria Luisa Villani
Publisher
ACM Press
Related search
Security Engineering of SOA Applications via Reliability Patterns
Journal of Software Engineering and Applications
Studying the Performance Impact of SOA Design Patterns via Coupled Model Transformations
Partial Model Checking via Abstract Interpretation
Information Processing Letters
Signal Processing
Computer Science Applications
Information Systems
Theoretical Computer Science
Conformant Planning via Symbolic Model Checking
Journal of Artificial Intelligence Research
Artificial Intelligence
Streaming Process Discovery and Conformance Checking
Decomposed Process Discovery and Conformance Checking
Model Checking
Process Discovery and Conformance Checking Using Passages
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
Model Checking Software
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
