5180 search results - page 272 / 1036 » Requirements Engineering |
148
click to vote
FASE
2001
Springer
15 years 11 months ago
2001
Springer
We define a formal execution semantics for UML activity diagrams that is appropriate for workflow modelling. Our semantics is aimed at the requirements level by assuming that sof...
152
Voted
FSTTCS
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. In [12] we started a research on a distributed-timed extension of Petri nets where time parameters are associated with tokens and arcs carry constraints that qualify the ...
154
click to vote
CODES
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper presents a complete codesign environment for embedded systems which combines automatic partitioning with reuse from a module database. Special emphasis has been put on ...
235
click to vote
ICRE
2000
IEEE
15 years 11 months ago
2000
IEEE
BORM Object Behavior Analysis (BOBA) is a first stage in a process of object modeling which has proved successful in a wide number of applications. This paper discusses this metho...
180
click to vote
CBSE
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. Software systems should evolve in order to respond to changing client requirements and their evolving environments. But unfortunately, the evolution of legacy application...