3 search results - page 1 / 1 » A Proposal for a Lightweight Rigorous UML-Based Development ... |
UML
2001
Springer
13 years 9 months ago
2001
Springer
Abstract: A lightweight UML-based software development method for building reliable software systems is proposed. It attempts to combine the coding emphasis of Extreme Programming ...
UML
2005
Springer
13 years 10 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...
APLAS
2010
ACM
13 years 4 months ago
2010
ACM
Abstract. Through foreign function interfaces (FFIs), software components in different programming languages interact with each other in the same address space. Recent years have w...