5228 search results - page 141 / 1046 » Case Studies for Software Engineers |
AOSE
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. The agent-oriented approach has been successfully applied to the solution of complex problems in dynamic open environments. However, to extend its use to mainstream compu...
AMAST
2004
Springer
14 years 2 months ago
2004
Springer
JavaFAN uses a Maude rewriting logic specification of the JVM semantics as the basis of a software analysis tool with competitive performance. It supports formal analysis of concu...
RWEB
2010
Springer
13 years 7 months ago
2010
Springer
Ontologies constitute formal models of some aspect of the world that may be used for drawing interesting logical conclusions even for large models. Software models capture relevant...
APN
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. Web services represent a promising technology for the development of distributed heterogeneous software systems. In this setting, a major issue is to establish whether tw...
CSMR
2002
IEEE
14 years 2 months ago
2002
IEEE
With the growing popularity of the Java programming language for both client and server side applications in network-centric computing, there is a rising need for programming libr...