Sciweavers

4759 search results - page 734 / 952
» Software Development Based on Software Pattern Evolution
Sort
View
ERCIMDL
2005
Springer
113views Education» more  ERCIMDL 2005»
16 years 4 days ago
The DSpace Open Source Digital Asset Management System: Challenges and Opportunities
Last year at the ECDL 2004 conference, we reported some initial progress and experiences developing DSpace as an open source community-driven project [8], particularly as seen from...
Robert Tansley, MacKenzie Smith, Julie Harford Wal...
CADE
2007
Springer
15 years 10 months ago
The Heterogeneous Tool Set (Hets)
Abstract. Heterogeneous specification becomes more and more important because complex systems are often specified using multiple viewpoints, involving multiple formalisms. Moreover...
Till Mossakowski, Christian Maeder, Klaus Lüt...
HCI
2009
15 years 4 months ago
Game Usability Heuristics (PLAY) for Evaluating and Designing Better Games: The Next Iteration
Game developers have begun applying formal human-computer interaction (HCI) principles in design. Desurvire et al [2] adapted a set of Heuristics for productivity software to games...
Heather Desurvire, Charlotte Wiberg
SAC
2004
ACM
16 years 1 days ago
A core calculus of higher-order mixins and classes
This work presents an object-oriented calculus based on higher-order mixin construction via mixin composition, where some software engineering requirements are modeled in a formal ...
Lorenzo Bettini, Viviana Bono, Silvia Likavec
FATES
2004
Springer
16 years 13 hour ago
Specifying and Generating Test Cases Using Observer Automata
We present a technique for specifying coverage criteria and a method for generating test suites for systems whose behaviours can be described as extended finite state machines (EF...
Johan Blom, Anders Hessel, Bengt Jonsson, Paul Pet...