Sciweavers

6348 search results - page 455 / 1270
» A Lesson for Software Engineering from Knowledge Engineering
Sort
View
SEFM
2006
IEEE
16 years 21 days ago
Automatic Property Checking for Software: Past, Present and Future
tic analysis tools based on abstraction are sound but not complete. Several practical static analysis tools are heuristic in nature —they are neither sound nor complete, but have...
Sriram K. Rajamani
COMPSAC
2005
IEEE
16 years 9 days ago
Considerations on a New Software Architecture for Distributed Environments Using Autonomous Semantic Agents
Distributed processing environments such as that of a traffic management network system (TMS) can be implemented easier, faster, and secure and perform better through use of auton...
Atilla Elçi, Behnam Rahnama
ASWSD
2004
Springer
16 years 2 days ago
Validation of Component and Service Federations in Automotive Software Applications
Abstract The automotive domain is one of the most promising areas for component and service technologies in the near future. Vehicles are increasingly becoming integrated systems w...
Luciano Baresi, Carlo Ghezzi
XPU
2004
Springer
16 years 12 hour ago
Self-Adaptability of Agile Software Processes: A Case Study on Post-iteration Workshops
None of the agile methods are claimed to fit all development situations. A team should attempt to adapt the methods and practices to fit their specific needs. For that reason agile...
Outi Salo, Kari Kolehmainen, Pekka Kyllönen, ...
157
Voted
WCRE
2003
IEEE
15 years 12 months ago
Reconstructing Software Architecture for J2EE Web Applications
In this paper we describe our approach to reconstructing the software architecture of J2EE web applications. We use the Siemens Four Views approach, separating the architecture in...
Minmin Han, Christine Hofmeister, Robert L. Nord