3441 search results - page 473 / 689 » Provenance of Software Development Processes |
186
click to vote
B
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. CSP B is an integration of the process algebra Communicating Sequential Processes (CSP), and the B-Method, which enables consistent controllers to be written for B machin...
178
click to vote
APSEC
2005
IEEE
16 years 5 days ago
2005
IEEE
As the number of available Web services increases there is a growing demand to realise complex business processes by combining and reusing available Web services. The reuse and co...
165
click to vote
FDL
2005
IEEE
16 years 4 days ago
2005
IEEE
The development process of embedded systems is characterized by the cooperation of various domains: components of hardware and software have to be considered as well as components...
140
click to vote
GROUP
2005
ACM
16 years 3 days ago
2005
ACM
This paper uses a long term ethnographic study of the design and implementation of an electronic patient records (EPR) system in a UK hospital Trust to consider issues arising in ...
193
click to vote
EPEW
2005
Springer
16 years 2 days ago
2005
Springer
Software composition via workflow specifications has received a great deal of attention recently. One reason is the high degree of fit with the encapsulation of software modules...