11066 search results - page 373 / 2214 » Linearity in Process Languages |
183
click to vote
NLDB
2004
Springer
16 years 3 days ago
2004
Springer
In recent literature it is commonly agreed that the first phase of the software development process is still an area of concern. Furthermore, while software technology has been ch...
174
click to vote
ICALP
2010
Springer
15 years 11 months ago
2010
Springer
Higher-order process calculi are calculi in which processes can be communicated. We study the expressiveness of strictly higher-order process calculi, and focus on two issues well-...
182
click to vote
UML
2001
Springer
15 years 11 months ago
2001
Springer
: This paper introduces the Calculating with Concepts (CC) technique, which has been developed to improve the precision of UML class diagrams and allows the formal reasoning based ...
179
click to vote
BIS
2006
15 years 8 months ago
2006
Abstract. Business process models, often modelled using graphical languages like UML, serve as a base for communication between the stakeholders in the software development process...
166
click to vote
SIGCSE
2002
ACM
15 years 6 months ago
2002
ACM
Abstract This paper examines the use of a simulator to explore process interaction in Unix. The simulator allows instructors to trace through a variety of programs and to show how ...