Sciweavers

2062 search results - page 223 / 413
» A Concern-Oriented Requirements Engineering Model
Sort
View
APSEC
2006
IEEE
14 years 4 months ago
Security-Oriented Service Composition and Evolution
This paper introduces a framework for security-oriented software service composition and evolution. Key building blocks of the framework are a semantic model for specifying the se...
Jun Han, Khaled M. Khan
COMPSAC
2006
IEEE
14 years 4 months ago
Global Software Enterpreneurship
With the globalization of markets and the creation of software to address these markets, educators face new curriculum challenges. They must expose students not only to core scien...
Venu Vasudevan
ECLIPSE
2006
ACM
14 years 4 months ago
JExercise: a specification-based and test-driven exercise support plugin for Eclipse
Programming exercises are an important part of an introductory course in programming. To improve the focus on encapsulation, requirements-based testing and give better feedback gi...
Hallvard Trætteberg, Trond Aalberg
VSTTE
2005
Springer
14 years 4 months ago
Linking the Meaning of Programs to What the Compiler Can Verify
We formulate some research and development challenges that relate what a verifying compiler can verify to the definition and analysis of the application-content of programs, where...
Egon Börger
PDP
2003
IEEE
14 years 4 months ago
Building Grid MPI Applications from Modular Components
Coupling grid applications developed by different teams requires code modification and high S/W engineering effort. In the Ensemble methodology message passing components are deve...
Yiannis Cotronis