Sciweavers

16859 search results - page 291 / 3372
» Generative software development
Sort
View
ICST
2009
IEEE
15 years 4 months ago
Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation
A software development process is conceptually an abstract form of model transformation, starting from an enduser model of requirements, through to a system model for which code c...
Emine G. Aydal, Richard F. Paige, Mark Utting, Jim...
WISE
2007
Springer
16 years 28 days ago
Building the Presentation-Tier of Rich Web Applications with Hierarchical Components
Nowadays information systems are increasingly distributed and deployed within the Internet platform. Without any doubt, the World Wide Web represents the de facto standard platform...
Reda Kadri, Chouki Tibermacine, Vincent Le Gloahec
161
Voted
IIS
2003
15 years 8 months ago
The Development of the Inductive Database System VINLEN: A Review of Current Research
Current research on the VINLEN inductive database system is briefly reviewed and illustrated by selected results. The goal of research on VINLEN is to develop a methodology for de...
Kenneth A. Kaufman, Ryszard S. Michalski
ISPW
2005
IEEE
16 years 7 days ago
Process Definition Language Support for Rapid Simulation Prototyping
This paper suggests how an appropriately designed and architected process definition language can be an effective aid to the rapid generation of simulations, which are, in turn, ca...
Mohammad S. Raunak, Leon J. Osterweil
HICSS
2006
IEEE
117views Biometrics» more  HICSS 2006»
16 years 21 days ago
Project Establishment in the Context of Participatory Design: Experience from a Hospital Information System Development Project
This paper reports on a project establishment undertaking as proposed by the STEPS methodology (Software Technology for Evolutionary Participatory System Design). Project establis...
Salesio Mbogo Kiura