4349 search results - page 460 / 870 » A Comprehensive Process Model for Studying Software Process ... |
183
click to vote
IAT
2008
IEEE
16 years 20 days ago
2008
IEEE
In this paper we present how to use the Agent MOdeling LAnguage (AMOLA) to define agent interaction protocols and how to integrate these in an agent model. AMOLA provides the synt...
184
click to vote
JOT
2010
15 years 1 months ago
2010
Model composition is a crucial activity in Model Driven Engineering (MDE). It is particularly useful when adopting a multi-modeling approach to analyze and design software systems...
167
click to vote
RE
1999
Springer
15 years 10 months ago
1999
Springer
Requirements capture by scenarios and user interface prototyping have become popular techniques. Yet, the transition from scenarios to formal specifications is still ill-defined, ...
165
click to vote
FOSSACS
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. Symbolic bisimulations were introduced as a mean to define value-passing process calculi using smaller, possibly finite labelled transition systems, equipped with symboli...
152
click to vote
HCI
2007
15 years 7 months ago
2007
: This paper describes an approach to integrate UCD activities into the existing Software Engineering practices and processes. The aim is to use the outcomes of UCD activities thro...