Sciweavers

3255 search results - page 454 / 651
» Usage-Centered Design and Software Engineering: Models for I...
Sort
View
KBSE
2008
IEEE
16 years 28 days ago
Swarm Verification
Reportedly, supercomputer designer Seymour Cray once said that he would sooner use two strong oxen to plow a field than a thousand chickens. Although this is undoubtedly wise when...
Gerard J. Holzmann, Rajeev Joshi, Alex Groce
AOSE
2007
Springer
16 years 21 days ago
O-MaSE: A Customizable Approach to Developing Multiagent Development Processes
This paper describes the Organization-based Multiagent System Engineering (O-MaSE) Process Framework, which helps process engineers define custom multiagent systems development pr...
Juan C. García-Ojeda, Scott A. DeLoach, Rob...
ICRE
1998
IEEE
15 years 10 months ago
Viewpoints for Requirements Elicitation: A Practical Approach
This paper introduces an approach to multi-perspective requirements engineering (PREview) which has been designed for industrial use and discusses our practical experience in appl...
Ian Sommerville, Peter Sawyer, Stephen Viller
AOSD
2006
ACM
16 years 15 days ago
Relationship aspects
The relationships between objects in object-oriented programs are as important as the objects themselves. Unfortunately, most objectoriented programming languages provide little s...
David J. Pearce, James Noble
ICSE
2008
IEEE-ACM
16 years 7 months ago
Calysto: scalable and precise extended static checking
Automatically detecting bugs in programs has been a long-held goal in software engineering. Many techniques exist, trading-off varying levels of automation, thoroughness of covera...
Domagoj Babic, Alan J. Hu