3316 search results - page 213 / 664 » Mining Software Engineering Data |
AMAST
2004
Springer
15 years 7 months ago
2004
Springer
We present a logic for reasoning about LOTOS behaviours which allows properties involving repeated patterns over actions and data to be expressed. The semantics of the logic is giv...
117
click to vote
TACS
2001
Springer
15 years 6 months ago
2001
Springer
Parigot suggested symmetric structural reduction rules for ion to µ-abstraction in [9] to ensure unique representation of data type. We prove strong normalization of second order ...
117
click to vote
FASE
2000
Springer
15 years 5 months ago
2000
Springer
state-based approach KIV uses abstract state machines (ASMs, [5]) over algebraically specified data types. The semantics of an ASM is the set of
106
click to vote
EWSPT
1995
Springer
15 years 5 months ago
1995
Springer
It is advocated here that integrating abstraction and modularity into the concept of point of view, and extending the view concept to the process itself (and not only to data used ...
120
click to vote
KBSE
2009
IEEE
15 years 8 months ago
2009
IEEE
—Usability analysis is an important step in software development in order to improve certain aspects of the system. However, it is often a challenge especially when it comes to e...