2487 search results - page 402 / 498 » Collaborative Engineering Software Development: Ontology-Bas... |
APSEC
2008
IEEE
14 years 2 months ago
2008
IEEE
Modifying an application usually means to stop the application, apply the changes, and start the application again. That means, the application is not available for at least a sho...
WCRE
2008
IEEE
14 years 2 months ago
2008
IEEE
A business application automates a collection of business processes. A business process describes how a set of logically related tasks are executed, ordered and managed by followi...
B
2007
Springer
14 years 2 months 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...
ICSE
1999
IEEE-ACM
14 years 11 days ago
1999
IEEE-ACM
We address the dependence of critical infrastructures— including electric power, telecommunications, finance and transportation—on vulnerable information systems. Our approach...
ISSTA
1998
ACM
14 years 10 days ago
1998
ACM
Automatic test data generation leads to identify input values on which a selected point in a procedure is executed. This paper introduces a new method for this problem based on co...