3024 search results - page 273 / 605 » Requirement Engineering in Service-Oriented System Engineeri... |
181
click to vote
B
2007
Springer
16 years 24 days ago
2007
Springer
Distributed applications are based on algorithms which should be able to deal with time constraints. It is mandatory to express time constraints in (mathematical) models and the cu...
149
click to vote
SEFM
2006
IEEE
16 years 18 days ago
2006
IEEE
In this paper, we give a straightforward generalization of bisimulations to "bisimulations induced by a pair of relations" on the underlying action set. We establish tha...
139
click to vote
ISESE
2005
IEEE
16 years 6 days ago
2005
IEEE
This paper reports an evaluation the utility of ISO/IEC 9126. ISO/IEC 9126 is an international standard intended to ensure the quality of all software-intensive products including...
149
click to vote
CSMR
2002
IEEE
15 years 11 months ago
2002
IEEE
To successfully carry out a software maintenance or reengineering task, a suitably assembled set of tools is required, which interoperate seaminglessly. To achieve this goal, an e...
164
click to vote
IWPC
2002
IEEE
15 years 11 months ago
2002
IEEE
Program comprehension tools extract, organize and analyze information about the design and implementation of software systems. Before tools can exchange information, they must sha...