3024 search results - page 61 / 605 » Requirement Engineering in Service-Oriented System Engineeri... |
130
click to vote
SOSE
2006
IEEE
15 years 10 months ago
2006
IEEE
In this paper, we introduce a simple but formal service description language (ForSeL) for modelbased requirements engineering. The basic notion in ForSeL is a service representing...
109
click to vote
RE
2008
Springer
15 years 2 months ago
2008
Springer
In this paper, we describe a creativity workshop that was used in a large research project, called APOSDLE, to generate creative ideas and requirements for a workintegrated learni...
146
click to vote
ICRE
1998
IEEE
15 years 8 months ago
1998
IEEE
Model checking is shown to be an effective tool in validating the behavior of a fault tolerant embedded spacecraft controller. The case study presented here at by judiciously abst...
142
click to vote
COMPSAC
2007
IEEE
15 years 10 months ago
2007
IEEE
As Service Centric (SC) Systems are being increasingly adopted, new challenges and possibilities emerge. Business processes are now able to execute seamlessly across organizations...
124
Voted
COMPSAC
1998
IEEE
15 years 8 months ago
1998
IEEE
A major problem in the development of distributed applications is that we cannot assume that the environment in which the application is to operate will remain the same. This mean...