4349 search results - page 397 / 870 » A Comprehensive Process Model for Studying Software Process ... |
151
click to vote
WS
2010
ACM
15 years 3 months ago
2010
ACM
One of the most important decisions researchers face when analyzing software systems is the choice of a proper data analysis/exchange format. In this paper, we present EvoOnt, a s...
142
Voted
KBSE
2003
IEEE
15 years 10 months ago
2003
IEEE
Mathematical modeling and simulation of complex physical systems are emerging as key technologies in engineering. Modern approaches to physical system simulation allow users to sp...
157
click to vote
ICFEM
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. This paper shows how Ptolemy II discrete-event (DE) models can be formally analyzed using Real-Time Maude. We formalize in Real-Time Maude the semantics of a subset of hi...
133
click to vote
IUI
2006
ACM
15 years 11 months ago
2006
ACM
In this paper we describe research on using eye-tracking data for on-line assessment of user meta-cognitive behavior during the interaction with an intelligent learning environmen...
153
Voted
ENTCS
2008
15 years 5 months ago
2008
In model-based software development, a complete design and analysis process involves designing the system using the design language, converting it into the analysis language, and ...