Login / Signup
A Formal Framework for the Development of Concurrent Object-Based Systems.
Leila Ribeiro
Fernando Luís Dotti
Roswitha Bardohl
Published in:
Formal Methods in Software and Systems Modeling (2005)
Keyphrases
</>
expert systems
database systems
knowledge based systems
support systems
development methodologies
probabilistic model
management system
complex systems
process model
retrieval systems
development process
technical issues