Sciweavers

SERP
2004
13 years 6 months ago
The Architectural Design of FRUIT: A Family of Retargetable User Interface Tools
Forms-based user interfaces are widely used means for human-computer interaction. However, it is difficult to exploit software reuse in forms-based systems because the systems ten...
Yi Liu, H. Conrad Cunningham, Hui Xiong
SERP
2004
13 years 6 months ago
Using ZOOM Approach to Support MDD
Model-Driven Development (MDD) represents a positive step toward a general model-based approach to software engineering. The Object Management Group (OMG) offers a conceptual fram...
Xiaoping Jia, Adam Steele, Hongming Liu, Lizhang Q...
SERP
2004
13 years 6 months ago
Using UML in a Risk-Driven Development Process
Risk-driven development focus on identifying and treating risks as an integrated part of the development process. One then obtain an adequate security level by treating security i...
Siv Hilde Houmb, Ørjan Markhus Lillevik
SERP
2004
13 years 6 months ago
Modeling Aspects of the Dynasty 3-D Game
This paper presents the motivation as well as the development for Dynasty, a 3-D game. Dynasty is a multiplayer 3D first person shooter game that is based in Ancient China. Player...
Frederick C. Harris Jr., Brent Devaney, John Kenyo...
SERP
2004
13 years 6 months ago
Software Specification of MERTIS: Modifiable Extensible Real-Time Interactive Simulation System
Game and simulation development is a difficult process because there are many low level infrastructure concerns that need to be addressed. This is a barrier to development for ine...
Frederick C. Harris Jr., Leandro Basallo, Ryan E. ...
SERP
2004
13 years 6 months ago
Optimal Software Testing
Moustafa Elshafei, Mehmood Khan, Mohamed Boraie
SERP
2004
13 years 6 months ago
Formal Analysis of UML-Based Designs
This paper describes a design specification and analysis framework to support the OO design stage. Structural and behavioral specifications of objects are integrated and formalize...
Boumediene Belkhouche, Anastasia Nix
SERP
2004
13 years 6 months ago
Combining Model-Driven and Schema-Based Program Synthesis
We describe ongoing work which aims to extend the schema-based program synthesis paradigm with explicit models. In this context, schemas can be considered as model-to-model transf...
Ewen Denney, Jon Whittle
SERP
2004
13 years 6 months ago
Virtual UNR Campus: The Specification Process
The Virtual UNR Campus (VCam) presented in this paper is an interactive environment where users explore a 3D representation of the University of Nevada, Reno (UNR) campus. In esse...
Sergiu Dascalu, Frederick C. Harris Jr., Matthew K...
SERP
2004
13 years 6 months ago
Extending Old Compiler Tools with Meta-Tools
There are many tradeoffs involved in choosing between a new, more powerful software tool and an older, more established one. The best way to handle this problem may be to make the ...
John Aycock