1236 search results - page 129 / 248 » From Conceptual Modeling to Requirements Engineering |
219
click to vote
AOSE
2007
Springer
16 years 17 days 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...
208
click to vote
BTW
2007
Springer
16 years 17 days ago
2007
Springer
Abstract: We propose a new system that is able to handle the entire Personal Dataspace of a user. A Personal Dataspace includes all data pertaining to a user on all his disks and o...
185
click to vote
SCESM
2006
ACM
16 years 10 days ago
2006
ACM
The dynamic behavior of systems is best described by Finite-state machines. Generation of executable tests from behavioral models such as UML Statecharts offers benefits such as s...
156
click to vote
OOPSLA
2009
Springer
16 years 28 days ago
2009
Springer
This paper introduces S.P.L.O.T., a Web-based reasoning and configuration system for Software Product Lines (SPLs). The system benefits from mature logic-based reasoning techniq...
144
click to vote
APSEC
2000
IEEE
15 years 10 months ago
2000
IEEE
It has been recognised that formal methods are useful as a modelling tool in requirements engineering. Specification languages such as Z permit the precise and unambiguous modell...