Sciweavers

3024 search results - page 69 / 605
» Requirement Engineering in Service-Oriented System Engineeri...
Sort
View
SIGADA
2005
Springer
15 years 9 months ago
The affordable application of formal methods to software engineering
The purpose of this research paper is to examine (1) why formal methods are required for software systems today; (2) the Praxis High Integrity Systems’ Correctness-by-Constructi...
James F. Davis
TES
2005
Springer
15 years 9 months ago
A Lightweight Model-Driven Orchestration Engine for e-Services
Service-oriented Computing (SoC) in general, and e-service orchestrations in particular have the potential to increase reuse and to ease maintainability. Typically, interoperating ...
Johann Oberleitner, Florian Rosenberg, Schahram Du...
HICSS
2003
IEEE
165views Biometrics» more  HICSS 2003»
15 years 9 months ago
Analysis of the Effectiveness of Global Virtual Teams in Software Engineering Projects
Global software development projects use virtual teams, which are primarily linked through computer and telecommunications technologies across national boundaries. Global Virtual ...
H. Keith Edwards, Varadharajan Sridhar
HICSS
1995
IEEE
109views Biometrics» more  HICSS 1995»
15 years 7 months ago
The architecture of an optimistic CPU: the WarpEngine
The architecture for a shared memory CPU is described. The CPU allows for parallelism down to the level of single instructions and is tolerant of memory latency. All executable in...
John G. Cleary, Murray Pearson, Husam Kinawi
QSIC
2005
IEEE
15 years 9 months ago
Ontology Based Requirements Analysis: Lightweight Semantic Processing Approach
We propose a software requirements analysis method based on domain ontology technique, where we can establish a mapping between a software requirements specification and the doma...
Haruhiko Kaiya, Motoshi Saeki