4919 search results - page 671 / 984 » A Process-Ontological Model for Software Engineering |
136
click to vote
FOSSACS
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. The enriched effect calculus is an extension of Moggi's computational metalanguage with a selection of primitives from linear logic. In this paper, we present an ext...
139
click to vote
AVI
2008
15 years 6 months ago
2008
Mixed interactive systems seek to smoothly merge physical and digital worlds. In this paper we focus on mixed objects that take part in the interaction. Based on our Mixed Interac...
153
click to vote
AVI
2010
15 years 6 months ago
2010
In this paper, we discuss a method and the associated tool support able to exploit Web services in model-based user interface development, starting with the results of a task anal...
134
click to vote
FSTTCS
2008
Springer
15 years 5 months ago
2008
Springer
ABSTRACT. Multiset pushdown systems have been introduced by Sen and Viswanathan as an adequate model for asynchronous programs where some procedure calls can be stored as tasks to ...
148
click to vote
AOSE
2007
Springer
15 years 10 months ago
2007
Springer
This paper describes the Organization-based Multiagent System Engineering (O-MaSE) Process Framework, which helps process engineers define custom multiagent systems development pr...