805 search results - page 135 / 161 » Location-Based Software Modeling and Analysis: Tropos-Based ... |
ITICSE
2005
ACM
15 years 3 months ago
2005
ACM
“Objects-first” is an increasingly popular strategy for teaching object-oriented programming by introducing the concepts of objects, classes, and instances before procedural e...
ASWC
2008
Springer
14 years 11 months ago
2008
Springer
Today's knowledge workers have to spend a large amount of time and manual effort on creating, analyzing, and modifying textual content. While more advanced semantically-orient...
DSVIS
2008
Springer
14 years 11 months ago
2008
Springer
In recent years, advances in software tools have made it easier to analyze interactive system specifications, and the range of their possible behaviors. However, the effort involve...
112
click to vote
POPL
2011
ACM
14 years 14 days ago
2011
ACM
We describe a new algorithm for proving temporal properties expressed in LTL of infinite-state programs. Our approach takes advantage of the fact that LTL properties can often be...
81
Voted
SEE
1997
Springer
15 years 1 months ago
1997
Springer
A concise object-oriented method for the development of real-time systems has been composed. Hardware components are modelled by (sofnuare) base objects; base objects are controll...