Sciweavers

7202 search results - page 385 / 1441
» Software System Engineering: A Tutorial
Sort
View
SAC
2009
ACM
16 years 1 months ago
Extending PASSI to model multi-agent systems product lines
Multi-agent System Product Lines (MAS-PLs) have emerged to integrate software product lines (SPLs) and agent-oriented software engineering techniques by incorporating their respec...
Ingrid Nunes, Uirá Kulesza, Camila Nunes, E...
RTAS
2005
IEEE
16 years 12 days ago
Real-Time Component-Based Systems
Component technology has become a central focus of software engineering in research and development. Reusability is a key factor that contributes to its success. The reuse of comp...
Shengquan Wang, Sangig Rho, Zhibin Mai, Riccardo B...
SEFM
2007
IEEE
16 years 1 months ago
Hardness for Explicit State Software Model Checking Benchmarks
Directed model checking algorithms focus computation resources in the error-prone areas of concurrent systems. The algorithms depend on some empirical analysis to report their per...
Neha Rungta, Eric G. Mercer
COMPSAC
2005
IEEE
16 years 14 days ago
Using AOP to Monitor and Administer Software for Grid Computing Environments
Monitoring is a task of collecting measurements that reflect the state of a system. Administration is a collection of tasks for control and manipulation of computer systems. Monito...
Mark Grechanik, Dewayne E. Perry, Don S. Batory
ASWSD
2004
Springer
16 years 7 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