3837 search results - page 224 / 768 » Concurrent Engineering support in Software Engineering |
212
click to vote
ECSA
2011
Springer
14 years 3 months ago
2011
Springer
Modeling of software architectures is a fundamental part of software development processes. Reuse of software components and early analysis of software topologies allow the reduct...
128
click to vote
ICSE
2009
IEEE-ACM
16 years 4 months ago
2009
IEEE-ACM
Goal-oriented methods have increasingly been recognised as an effective means for eliciting, elaborating, analysing and specifying software requirements. A key activity in these a...
136
click to vote
RE
2001
Springer
15 years 8 months ago
2001
Springer
Today's requirements engineering approaches focus on notation and techniques for modeling the intended functionality and qualities of a software system. Little attention has ...
141
click to vote
SIGSOFT
2008
ACM
16 years 4 months ago
2008
ACM
We propose a novel method for modular verification of web service compositions. We first use symbolic fixpoint computations to derive conditions on the incoming messages and relat...
136
Voted
EMSOFT
2009
Springer
15 years 10 months ago
2009
Springer
Concurrent programming languages are growing in importance with the advent of multi-core systems. However, concurrent programs suffer from problems, such as data races and deadloc...