Sciweavers

10274 search results - page 389 / 2055
» Lean Software Development
Sort
View
WIA
1999
Springer
15 years 11 months ago
Animation of the Generation and Computation of Finite Automata for Learning Software
Abstract. In computer science methods to aid learning are very imporcause abstract models are used frequently. For this conventional teaching methods do not suffice. We have develo...
Beatrix Braune, Stephan Diehl, Andreas Kerren, Rei...
AAMAS
2004
Springer
15 years 7 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
FAC
2006
122views more  FAC 2006»
15 years 7 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 11 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