211 search results - page 25 / 43 » Linking Design Decisions to Design Models in Model-Based Sof... |
159
click to vote
AOSE
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Agent-Oriented Software Engineering (AOSE) methodologies are proposed to develop complex distributed systems based upon the agent paradigm. The natural implementation for...
94
Voted
ESEM
2007
ACM
15 years 5 months ago
2007
ACM
This paper explores the cognitive limits of estimation in the context of software cost estimation. Two heuristics, representativeness and anchoring, motivate two experiments invol...
112
Voted
FOSSACS
2005
Springer
15 years 7 months ago
2005
Springer
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often infinite states, thus making model ...
101
click to vote
VSTTE
2005
Springer
15 years 7 months ago
2005
Springer
The interplay back and forth between software model checking and hardware model checking has been fruitful for both. Originally intended for the analysis of concurrent software, mo...
115
click to vote
DOLAP
2004
ACM
15 years 7 months ago
2004
ACM
During the few last years, several approaches have been proposed to model different aspects of a Data Warehouse (DW), such as the conceptual model of the DW, the design of the ET...