8627 search results - page 185 / 1726 » Software Engineering Using RATionale |
154
click to vote
IUI
2009
ACM
16 years 3 months ago
2009
ACM
This document introduces a web based demo of an interactive framework for transcription of handwritten text, where the user feedback is provided by means of pen strokes on a touch...
124
click to vote
APSEC
2008
IEEE
16 years 19 days ago
2008
IEEE
straction to Verify Arbitrary Temporal Properties Amir Pnueli New York University and Weizmann Institute of Sciences (Emeritus) Perspectives in Concurrency Theory, Chennai, 15 Dece...
241
click to vote
ECOOPWEXCEPTION
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. Exception handling is a well-established mechanism in sequential programming. Concurrency and asynchronous calls introduce the possibility for multiple simultaneous excep...
154
click to vote
RE
2006
Springer
15 years 6 months ago
2006
Springer
Use-cases often capture the expected behaviors of a system and its components. During requirements analysis, it is important to understand and model the relationship among differe...
160
click to vote
KBSE
2005
IEEE
15 years 11 months ago
2005
IEEE
Recent work in applying causal modeling (Bayesian networks) to software engineering has resulted in improved decision support systems for software project managers. Once the causa...