Sciweavers

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
SERP
2004
13 years 6 months ago
Keeping Secrets within a Family: Rediscovering Parnas
David Parnas wrote several papers in the 1970's and 1980's that are now considered classics. The concepts he advocated such as information hiding and bstract interfaces ...
H. Conrad Cunningham, Cuihua Zhang, Yi Liu
SERP
2004
13 years 6 months ago
COTS-Aware Requirements Engineering and Software Architecting
At the heart of a well-disciplined, systematic methodology that explicitly supports the use of COTS components is a clearly defined process for effectively using components that m...
Lawrence Chung, Kendra Cooper
SERP
2007
13 years 6 months ago
Architecture and Design Pattern Discovery Techniques - A Review
Architecture and design patterns, as demonstrated solutions to recurring problems, have proved practically important and useful in the process of software development. They have b...
Jing Dong, Yajing Zhao, Tu Peng
SERP
2007
13 years 6 months ago
Throughput Evaluation of Different Enterprise Service Bus Approaches
Stein Desmet, Bruno Volckaert, Steven Van Assche, ...
SERP
2007
13 years 6 months ago
A Blender Plugin for Collaborative Work on the Articiel Platform
  Applications  of  collaborative  work  and  platforms  allowing  workgroups  to  exchange  projects  and  files  over  the  Internet  is  a  rapidly  expandin...
Martin Lesage, Omar Cherkaoui, Faysal Abouzaid, Ma...