2050 search results - page 84 / 410 » A formal foundation for process modeling |
164
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
In system development life cycle (SDLC), a system model can be developed using Data Flow Diagram (DFD). DFD is graphical diagrams for specifying, constructing and visualizing the ...
170
click to vote
ECOOP
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. Understanding the collaborations that arise between the instances of classes in object-oriented programs is important for the analysis, optimization, or modification of ...
183
click to vote
SPLC
2008
15 years 7 months ago
2008
This paper builds on product line CCS (PL-CCS), an algebraic approach to modeling the behavior of software product lines. The semantics of PL-CCS specifications is given in terms ...
154
click to vote
WSC
1998
15 years 7 months ago
1998
Simulation modeling provides an effective and powerful approach for capturing and analyzing complex manufacturing systems. More and more decisions are based on computer generated ...
151
click to vote
KR
1998
Springer
15 years 10 months ago
1998
Springer
In this paper we present a new semantics, called Local Models Semantics, and use it to provide a foundation to reasoning with contexts. This semantics captures and makes precise t...