3514 search results - page 225 / 703 » Evolving Specification Engineering |
115
click to vote
ICFEM
2000
Springer
15 years 6 months ago
2000
Springer
A family of well known problems on graphs includingthe shortest path problem and the data flow analysis problem can be uniformly formulated as a fixed-point problem on graphs. We ...
113
click to vote
KBSE
1995
IEEE
15 years 6 months ago
1995
IEEE
cation at some level of abstraction, abandoning the semantic information provided by the specification. In this paper, we propose a methodology that ships the overhead of formal re...
128
click to vote
FASE
2008
Springer
15 years 5 months ago
2008
Springer
We investigate the classical notion of object composition in the framework of scenario-based specification and programming. We concentrate on live sequence charts (LSC), which exte...
107
click to vote
ENTCS
2006
15 years 3 months ago
2006
Working with models often requires the ability to assert the compliance of a given model to a given set of constraints. Some tools are able to check OCL invariants on UML models. ...
102
Voted
RE
2006
Springer
15 years 3 months ago
2006
Springer
Pre-requirements specification tracing concerns the identification and maintenance of relationships between requirements and the knowledge and information used by analysts to info...