424 search results - page 50 / 85 » ASPECS: an agent-oriented software process for engineering c... |
ATAL
2008
Springer
13 years 9 months ago
2008
Springer
In this paper, we describe two mission critical applications currently deployed by Telecom Italia in the Operations Support System domains. The first one called "Network Neut...
ESEM
2008
ACM
13 years 9 months ago
2008
ACM
Some agile voices have been raised against extensive documentation. They advocate its sparse use and production. In this paper, we report from agile evolution and maintenance tren...
QSIC
2007
IEEE
14 years 1 months ago
2007
IEEE
The advanced electric power grid is a complex real-time system having both Cyber and Physical components. While each component may function correctly, independently, their composi...
SIMUTOOLS
2008
13 years 9 months ago
2008
Model checking is a suitable formal technique to analyze parallel programs' execution in an industrial context because automated tools can be designed and operated with very ...
APPINF
2003
13 years 9 months ago
2003
Due to increasing size and complexity of hypermedia and web applications, there is growing concern by how to develop quality, reusable and maintainable hypermedia systems. In fact...