SAC
2008
ACM
13 years 11 months ago
2008
ACM
This study focuses on the analysis and evaluation of agentoriented methodologies. Different studies have been proposed for the evaluation of agent-oriented methodologies adopting ...
JUCS
2002
14 years 3 days ago
2002
: Different models and methodologies for the development of hypermedia systems and applications have emerged in the recent years. Software-technical methods and principles enriched...
JUCS
2008
14 years 12 days ago
2008
: The aim of this paper is to review the best known methodologies for web applications development as well as the existing supporting tools and techniques from an accessibility-cen...
CSUR
2008
14 years 15 days ago
2008
on the methodologies and processes, but instead provide an abstract and structured description in a way that facilitates their elaborate analysis for the purposes of improving unde...
CORR
2008
Springer
14 years 16 days ago
2008
Springer
Spreadsheet engineering methodologies are diverse and sometimes contradictory. It is difficult for spreadsheet developers to identify a spreadsheet engineering methodology that is...
ECIS
2004
14 years 1 months ago
2004
Systems development is a very complex process, which requires disciplined methodological approaches. While there are many arguments underpinning the use of systems development met...
DAC
1994
ACM
14 years 4 months ago
1994
ACM
In this paper, we present a design methodology management system, which assists designers in selecting a suitable design process and invoking the selected sequence of tools on the...
ATAL
2003
Springer
14 years 5 months ago
2003
Springer
Future large-scale software development projects will require engineering support for a diverse range of software quality attributes, such as privacy and openness. It is not feasi...
WER
2004
Springer
14 years 5 months ago
2004
Springer
Systems development methodologies continue to be a central area of research in software engineering. As the nature of applications and systems usage move increasingly towards open ...
FMCAD
2004
Springer
14 years 5 months ago
2004
Springer
Abstract. We relate two well-studied methodologies in deductive verification of operationally modeled sequential programs, namely the use of inductive invariants and clock functio...