1645 search results - page 45 / 329 » Rationale-Based Use Case Specification |
147
click to vote
JUCS
2000
15 years 6 months ago
2000
: Evaluations of methods and tools applied to a reference problem are useful when comparing various techniques. In this paper, we present a solution to the challenge of capturing t...
164
click to vote
IASSE
2004
15 years 7 months ago
2004
This paper describes how design information, in our case UML specifications, can be used to evolve a software system and validate the consistency of such an evolution. This work c...
156
click to vote
SBMF
2010
Springer
15 years 27 days ago
2010
Springer
Abstract. In the context of the EU project Mobius on Proof Carrying Code for Java programs (midlets) on mobile devices, we present a way to express midlet navigation graphs in JML....
183
click to vote
ESCIENCE
2006
IEEE
16 years 6 days ago
2006
IEEE
A goal of the Geosciences Network (GEON) is to develop cyber-infrastructure that will allow earth scientists to discover access, integrate and disseminate knowledge in distributed...
150
click to vote
CAISE
2000
Springer
15 years 10 months ago
2000
Springer
This paper presents an approach and a tool to increase specification quality by using a combination of UML and formal languages. Our approach is based on the expression of the UML ...