3024 search results - page 60 / 605 » Requirement Engineering in Service-Oriented System Engineeri... |
143
Voted
ISSTA
1998
ACM
15 years 7 months ago
1998
ACM
We present various techniques for improving the time and space efficiency of symbolic model checking for system requirements specified as synchronous finite state machines. We use...
120
click to vote
RE
2009
Springer
15 years 10 months ago
2009
Springer
Heterogeneously-licensed systems pose new challenges to analysts and system architects. Appropriate intellectual property rights must be available for the installed system, but wi...
141
Voted
ICSEA
2008
IEEE
15 years 10 months ago
2008
IEEE
In this paper we propose that formal modelling techniques are necessary in establishing the trustworthiness of e-voting systems and the software within. We illustrate how a distri...
126
click to vote
RE
2006
Springer
15 years 4 months ago
2006
Springer
A technique is presented for obtaining a specification from a requirement through a series of incremental steps. The starting point is a Problem Frame description involving a requ...
126
click to vote
ITNG
2007
IEEE
15 years 10 months ago
2007
IEEE
Requirement analysis is an important process in the design and development of information systems. Various tools and methodologies are used to gather the user requirements. These ...