Sciweavers

9227 search results - page 171 / 1846
» Developing Use Cases from Organizational Modeling
Sort
View
FORMATS
2003
Springer
15 years 10 months ago
Time-Optimal Test Cases for Real-Time Systems
Testing is the primary software validation technique used by industry today, but remains ad hoc, error prone, and very expensive. A promising improvement is to automatically genera...
Anders Hessel, Kim Guldstrand Larsen, Brian Nielse...
COMPSAC
2002
IEEE
15 years 10 months ago
A Unified Process Support Framework for Global Software Development
There is an increasing trend in global software development, where different parts of a software product are being developed in different organisations. The process aspect of such...
Jin Sa, Elena Maslova
174
Voted
EDOC
2000
IEEE
15 years 9 months ago
A Component-Based Groupware Development Methodology
Software development in general and groupware applications in particular can greatly benefit from the reusability and interoperability aspects associated with software components....
Cléver Ricardo Guareis de Farias, Luí...
WICSA
2004
15 years 6 months ago
An Architectural Approach to Mobility - The Handover Case Study
COMMUNITY is a formal approach to software architecture. Its main characteristics are: a precise, yet intuitive mathematical semantics based on categorical diagrams; a clear separ...
Cristóvão Oliveira, Michel Wermeling...
TOOLS
2009
IEEE
15 years 11 months ago
PyGirl: Generating Whole-System VMs from High-Level Prototypes Using PyPy
Abstract. Virtual machines (VMs) emulating hardware devices are generally implemented in low-level languages for performance reasons. This results in unmaintainable systems that ar...
Camillo Bruni, Toon Verwaest