803 search results - page 91 / 161 » Building Formal Models for Software Requirements |
113
click to vote
IWPC
2005
IEEE
15 years 10 months ago
2005
IEEE
Approximately 70% of the source code of a software system consists of identifiers. Hence, the names chosen as identifiers are of paramount importance for the readability of comp...
130
click to vote
PASTE
2004
ACM
15 years 10 months ago
2004
ACM
Model checking requires a specification of the target system’s desirable properties, some of which are temporal. Formulating a property of the system based on either its abstrac...
145
click to vote
CAV
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. In predicate abstraction, exact image computation is problematic, requiring in the worst case an exponential number of calls to a decision procedure. For this reason, sof...
137
Voted
SIGSOFT
2001
ACM
16 years 5 months ago
2001
ACM
Prior research in software environments focused on three important problems-- tool integration, artifact management, and process guidance. The context for that research, and hence...
146
click to vote
ASE
2005
15 years 4 months ago
2005
Abstract. Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. The typical approach to verifying propertie...