Sciweavers

5457 search results - page 178 / 1092
» Clinical requirements engineering
Sort
View
AAMAS
2010
Springer
15 years 6 months ago
ASPECS: an agent-oriented software process for engineering complex systems
Holonic multiagent systems (HMAS) offers a promising software engineering approach for developing complex open software systems. However the process of building MultiAgent Systems...
Massimo Cossentino, Nicolas Gaud, Vincent Hilaire,...
CORR
2008
Springer
114views Education» more  CORR 2008»
15 years 6 months ago
Investigating the Potential of Test-Driven Development for Spreadsheet Engineering
It is widely documented that the absence of a structured approach to spreadsheet engineering is a key factor in the high level of spreadsheet errors. In this paper we propose and ...
Alan Rust, Brian Bishop, Kevin McDaid
IEEEARES
2007
IEEE
16 years 26 days ago
Pastures: Towards Usable Security Policy Engineering
Whether a particular computing installation meets its security goals depends on whether the administrators can create a policy that expresses these goals—security in practice re...
Sergey Bratus, Alex Ferguson, Doug McIlroy, Sean W...
B
2007
Springer
16 years 22 days ago
A Generic Flash-Based Animation Engine for ProB
Abstract. Writing a formal specification for real-life, industrial problems is a difficult and error prone task, even for experts in formal methods. In the process of specifying a...
Jens Bendisposto, Michael Leuschel
ASAP
2006
IEEE
147views Hardware» more  ASAP 2006»
16 years 18 days ago
The Molen FemtoJava Engine
This paper presents the Molen FemtoJava engine that is extended with concepts taken from the Molen polymorphic processor. This allows for the existing FemtoJava to be augmented wi...
Júlio C. B. de Mattos, Stephan Wong, Luigi ...