16725 search results - page 2740 / 3345 » Engineering Software Correctness |
184
click to vote
AOSE
2007
Springer
16 years 1 months ago
2007
Springer
This paper describes how the Organization-based Multiagent Systems Engineering (O-MaSE) methodology can be applied to an exemplar multiagent system, the Conference Management Syste...
170
click to vote
CAISE
2007
Springer
16 years 1 months ago
2007
Springer
Introducing process-aware information systems (PAIS) in enterprises is usually associated with high costs. It is therefore crucial to understand those factors that determine these ...
186
click to vote
CBSE
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. The SOAP Service Description Language (SSDL) is a SOAPcentric language for describing Web Service contracts. SSDL focuses on abstraction as the building block for creatin...
191
click to vote
GECCO
2007
Springer
16 years 1 months ago
2007
Springer
Engineering design increasingly uses computer simulation models coupled with optimization algorithms to find the best design that meets the customer constraints within a time con...
197
click to vote
LADS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. More and more aspects of concurrency and concurrent programming are becoming part of mainstream programming and software engineering, as a result of several factors, such...