683 search results - page 28 / 137 » Modelling Evolvable Systems: A Temporal Logic View |
107
Voted
ICSE
2001
IEEE-ACM
15 years 6 months ago
2001
IEEE-ACM
In requirements elicitation, different stakeholders often hold different views of how a proposed system should behave, resulting in inconsistencies between their descriptions. Con...
103
click to vote
KBSE
2008
IEEE
15 years 8 months ago
2008
IEEE
Finite state machine-based abstractions of software behaviour are popular because they can be used as the basis for a wide range of (semi-) automated verification and validation ...
115
Voted
GROUP
2005
ACM
15 years 7 months ago
2005
ACM
A common problem in chat is that the chat display only reveals the temporal order of the conversation. A better user interface is desired that reveals the logical order of the mes...
159
click to vote
PLPV
2012
ACM
13 years 9 months ago
2012
ACM
Functional Reactive Programming (FRP) is a form of reactive programming whose model is pure functions over signals. FRP is often expressed in terms of arrows with loops, which is ...
STACS
1999
Springer
15 years 6 months ago
1999
Springer
This paper presents a completeness result for a first-order interval temporal logic, called Neighbourhood Logic (NL) which has two neighbourhood modalities. NL can support the spe...