337 search results - page 8 / 68 » An Axiomatic Formalization of UML Models |
ICFEM
2003
Springer
14 years 1 months ago
2003
Springer
ISSE
2010
13 years 7 months ago
2010
ISCIS
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Flexible Manufacturing Systems (FMSs) are adopted to process different goods in different mix ratios allowing firms to react quickly and efficiently to changes in produ...
QSIC
2009
IEEE
14 years 3 months ago
2009
IEEE
—A well-founded testing theory encourages the practical application of test case generation techniques. This aims at overcoming the ever increasing complexity of softwareenabled ...
ASWEC
2004
IEEE
14 years 10 days ago
2004
IEEE
In this paper, both a UML model of requirement and a UML model of a design are defined as a pair of class diagram and a family of sequence diagrams. We then give an unified semant...