Automata-based component composition analysis
From MaRDI portal
Recommendations
Cited in
(21)- OntCheck: an ontology-driven static correctness checking tool for component-based models
- A system for predictable component-based software construction
- An interface model of software components
- Factorization for component-interaction automata
- Space effective model checking for component-interaction automata
- Property-preserving Petri net process algebra in software engineering
- Syntactic analysis of component composition
- Counter-constrained finite state machines: a new model for component protocols with resource-dependencies
- Rigorous development of component-based systems using component metadata and patterns
- A Review on Specifying Software Architectures Using Extended Automata-Based Models
- Component constraint detection based on proposition logic
- A logical reasoning approach to automatic composition of stateless components
- Composition of Use Cases Using Synchronization and Model Checking
- Formal Verification for Components and Connectors
- Automatic a priori, a posteriori or appropriate determination of subassemblies
- scientific article; zbMATH DE number 2000456 (Why is no real title available?)
- scientific article; zbMATH DE number 1931058 (Why is no real title available?)
- scientific article; zbMATH DE number 1569134 (Why is no real title available?)
- Tracing integration analysis in component-based formal specifications
- scientific article; zbMATH DE number 2201909 (Why is no real title available?)
- CONCUR 2005 – Concurrency Theory
This page was built for publication: Automata-based component composition analysis
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5309502)
