Sciweavers

561 search results - page 51 / 113
» Research in Software Engineering: Paradigms and Methods
Sort
View
COMPSAC
2002
IEEE
14 years 1 months ago
Requirements Driven Quality Control
The paper aims at presenting a method of controlling software quality attributes driven by the set of requirements. This is done in three steps: specifying all the requirements, ma...
Stanislaw Szejko
IJAOSE
2010
183views more  IJAOSE 2010»
13 years 6 months ago
O-MaSE: a customisable approach to designing and building complex, adaptive multi-agent systems
: The complexity and scope of software systems continues to grow. One approach to dealing with this growing complexity is the use of intelligent, multi-agent systems. However, due ...
Scott A. DeLoach, Juan C. García-Ojeda
TASE
2007
IEEE
14 years 3 months ago
Design of a Certifying Compiler Supporting Proof of Program Safety
Safety is an important property of high-assurance software, and one of the hot research topics on it is the verification method for software to meet its safety policies. In our p...
Yiyun Chen, Lin Ge, Baojian Hua, Zhaopeng Li, Chen...
ECIS
2003
13 years 10 months ago
Finding a home for web-based information systems - perusing the landscape
Information systems (IS) and software engineering (SE) have shared the domain of systems and software development for several decades with too little overlap in practice and resea...
Chris Barry, Jeremy Brown
ICSM
2005
IEEE
14 years 2 months ago
Object-Oriented Reengineering: Patterns and Techniques
Surprising as it may seem, many of the early adopters of the object-oriented paradigm already face a number of problems typically encountered in large-scale legacy systems. Softwa...
Serge Demeyer, Stéphane Ducasse, Oscar Nier...