Sciweavers

7380 search results - page 404 / 1476
» Engineering Software Intensive Systems
Sort
View
ECBS
2002
IEEE
118views Hardware» more  ECBS 2002»
15 years 9 months ago
On the Relation between Design Contracts and Errors: A Software Development Strategy
When designing a software module or system, a systems engineer must consider and differentiate between how the system responds to external and internal errors. External errors can...
Eivind J. Nordby, Martin Blom, Anna Brunstrom
SAC
2009
ACM
15 years 11 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
15 years 10 months 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
15 years 10 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
15 years 10 months 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