4418 search results - page 29 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
110
Voted
APSEC
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper presents a model-based approach to requirements engineering for reactive systems; we use an elevator controller as case study. We identify and justify two key propertie...
123
Voted
IJIT
2004
15 years 5 months ago
2004
As computer network technology becomes increasingly complex, it becomes necessary to place greater requirements on the validity of developing standards and the resulting technology...
123
Voted
COMPSAC
1997
IEEE
15 years 8 months ago
1997
IEEE
I n this paper, we propose an approach to reuse-based software development using formal method. I n our approach, each software component is annotated with a set of predicates to ...
122
Voted
SIGSOFT
2008
ACM
16 years 4 months ago
2008
ACM
Getting the right software requirements under the right environment assumptions is a critical precondition for developing the right software. This task is intrinsically difficult....
94
Voted
SYNTHESE
2008
15 years 3 months ago
2008
The paper argues, that a direct formalization of the way common sense thinks about the numerical identity of enduring entities, requires that traditional predicate logic is develo...