48 search results - page 7 / 10 » Testability Analysis of a UML Class Diagram |
MODELS
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Alloy is a formal language, which has been applied to modelling of systems in a wide range of application domains. It is supported by Alloy Analyzer, a tool, which allows...
ICST
2009
IEEE
14 years 2 months ago
2009
IEEE
We propose a novel testing approach that combines information from UML sequence models and state machine models. Current approaches that rely solely on sequence models do not cons...
ER
2004
Springer
14 years 22 days 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...
IASSE
2004
13 years 8 months ago
2004
The Rationale-based Analysis Tool (RAT) supports analysts, developers, clients and end users during the objectoriented requirements analysis activity. The tool enables different s...
SEMCO
2009
IEEE
14 years 2 months ago
2009
IEEE
— In this paper we present an automated support for software model evolution using a formal language constructs. For this, we extended Object Constraint Language (OCL) with actio...