1099 search results - page 126 / 220 » A tool for assisting the understanding and formal developmen... |
ICSE
2003
IEEE-ACM
14 years 9 months ago
2003
IEEE-ACM
Traceability helps stakeholders to understand the relationships that exist between software artifacts created during a software development project. For example, the evolution of ...
UML
2005
Springer
14 years 2 months ago
2005
Springer
We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...
ICRA
2000
IEEE
14 years 1 months ago
2000
IEEE
This paper formally introduces several stability characterizations of £xtured three-dimensional rigid bodies initially at rest and in unilateral contact with Coulomb friction. The...
UML
2004
Springer
14 years 2 months ago
2004
Springer
Being part of domain engineering, domain analysis enables identifying domains and capturing their ontologies in order to assist and guide system developers to design domain-specifi...
ENTCS
2006
13 years 9 months ago
2006
We present a prototype implementation of SOS meta-theory in the Maude term rewriting language. The prototype defines the basic concepts of SOS meta-theory (e.g., transition formul...