2261 search results - page 196 / 453 » Modeling the Experimental Software Engineering Process |
122
click to vote
FASE
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. In this paper we present a novel approach for the predicative specification of user rights in the context of an object oriented use case driven development process. We e...
135
click to vote
FSTTCS
2003
Springer
15 years 9 months ago
2003
Springer
We define a new model called O-PRS that extends the Process Rewrite Systems formalism with a new associative operator, “ ”, that allows to model parallel composition while ke...
148
click to vote
EDBTW
2006
Springer
15 years 6 months ago
2006
Springer
The information infrastructure in today's businesses consists of many interoperating autonomous systems. Changes to a single system can therefore have an unexpected impact on ...
139
click to vote
ICSM
2009
IEEE
15 years 11 months ago
2009
IEEE
Many of the problems that occur in long-running systems involve the way that the system uses memory. We have developed a framework for extracting and building a model of the heap ...
118
click to vote
FSTTCS
2001
Springer
15 years 9 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 ...