4476 search results - page 545 / 896 » Modeling software architectures in the Unified Modeling Lang... |
179
click to vote
GECCO
2006
Springer
15 years 10 months ago
2006
Springer
Achieving a high quality and cost-effective tests is a major concern for software buyers and sellers. Using tools and integrating techniques to carry out low cost testing are chal...
179
click to vote
CSIE
2009
IEEE
15 years 8 months ago
2009
IEEE
Succinct test script with high efficiency is one of key point for automation of embedded software testing. In this paper, we integrated object technique with automated simulation ...
197
click to vote
EPIA
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. As software systems become bigger and more complex, software developers need to cope with a growing amount of information and knowledge. The knowledge generated during th...
185
click to vote
TASE
2009
IEEE
16 years 1 months ago
2009
IEEE
A modelling language can be defined by a metamodel in UML class diagram. This paper defines the semantics of such metamodels through two mappings: a signature mapping from metamod...
170
click to vote
CSFW
2005
IEEE
16 years 13 days ago
2005
IEEE
This paper advocates a novel approach to the construction of secure software: controlling information flow and maintaining integrity via monadic encapsulation of effects. This ap...