Sciweavers

10241 search results - page 405 / 2049
» Goal-Driven Software Development
Sort
View
AAMAS
2004
Springer
15 years 6 months ago
Challenges and Research Directions in Agent-Oriented Software Engineering
Abstract. Agent-based computing is a promising approach for developing applications in complex domains. However, despite the great deal of research in the area, a number of challen...
Franco Zambonelli, Andrea Omicini
189
Voted
FAC
2006
122views more  FAC 2006»
15 years 6 months ago
The verified software repository: a step towards the verifying compiler
The Verified Software Repository is dedicated to a long-term vision of a future in which all computer systems justify the trust that Society increasingly places in them. This will ...
Juan Bicarregui, C. A. R. Hoare, J. C. P. Woodcock
KBSE
2008
IEEE
16 years 1 months ago
Mashups and modularity: Towards secure and reusable web applications
The software industry is currently experiencing a paradigm shift towards web-based software. We argue that web technologies should evolve in a direction that would allow the devel...
Antero Taivalsaari, Tommi Mikkonen
ESSOS
2009
Springer
15 years 10 months ago
Pattern-Based Confidentiality-Preserving Refinement
Abstract. We present an approach to security requirements engineering, which makes use of special kinds of problem frames that serve to structure, characterize, analyze, and solve ...
Holger Schmidt
ICSE
2005
IEEE-ACM
16 years 6 months ago
Main effects screening: a distributed continuous quality assurance process for monitoring performance degradation in evolving so
Developers of highly configurable performanceintensive software systems often use a type of in-house performance-oriented "regression testing" to ensure that their modif...
Cemal Yilmaz, Arvind S. Krishna, Atif M. Memon, Ad...