803 search results - page 136 / 161 » Building Formal Models for Software Requirements |
115
click to vote
PEPM
2007
ACM
15 years 8 months ago
2007
ACM
The event-driven programming style is pervasive as an efficient method for interacting with the environment. Unfortunately, the event-driven style severely complicates program mai...
178
click to vote
GPC
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Large-scale distributed computing applications require concurrent programming models that support modular and compositional software development. The actor model supports...
105
click to vote
SEMWEB
2007
Springer
15 years 8 months ago
2007
Springer
Our research explores the possibilities for factoring culture into user models, working towards cultural adaptivity in the semantic web. The aim is to represent the user’s positi...
125
click to vote
EDOC
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract—A simple and effective composition of software services into higher-level composite services is still a very challenging task. Especially in enterprise environments, Qua...
111
Voted
RE
2007
Springer
15 years 8 months ago
2007
Springer
We present details of a goal-oriented process for database requirements analysis. This process consists of a number of steps, spanning the spectrum from high-level stakeholder goa...