3357 search results - page 245 / 672 » On the Use of Process Trails to Understand Software Developm... |
172
click to vote
TLCA
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. This paper proposes two typing systems for session interactions in higherorder mobile processes. Session types for the HOπ-calculus capture high-level structures nicatio...
155
click to vote
BPM
2005
Springer
16 years 4 days ago
2005
Springer
This article describes the method of Mobile Process Landscaping by example of a project in which the service processes of a company from the housing industry were analyzed regardin...
178
click to vote
ACSC
2000
IEEE
15 years 10 months ago
2000
IEEE
A methodology is proposed for the formal development of software systems from a user's requirements specification in natural language into a complete implementation, proceedi...
165
click to vote
SCOPES
2004
Springer
15 years 12 months ago
2004
Springer
New embedded signal processing architectures are emerging that are composed of loosely coupled heterogeneous components like CPUs or DSPs, specialized IP cores, reconfigurable uni...
187
click to vote
AGILEDC
2003
IEEE
15 years 12 months ago
2003
IEEE
The paper presents a sketch of a framework-based agile reengineering process, named PARFAIT1 , whose objective is to provide the users with evolved versions of legacy systems, as ...