5180 search results - page 154 / 1036 » Requirements Engineering |
139
Voted
AICCSA
2007
IEEE
15 years 7 months ago
2007
IEEE
Abstract-- This paper presents an artificial neural networks approach to estimate the indicated torque of a single-cylinder diesel engine from crank shaft angular position and velo...
128
Voted
AAMAS
2010
Springer
15 years 3 months ago
2010
Springer
Holonic multiagent systems (HMAS) offers a promising software engineering approach for developing complex open software systems. However the process of building MultiAgent Systems...
138
click to vote
CORR
2008
Springer
15 years 3 months ago
2008
Springer
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 ...
132
click to vote
B
2007
Springer
15 years 10 months ago
2007
Springer
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...
167
click to vote
ISAS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. This paper provides an overview of Proof-Based System Engineering (PBSE), which aims at improving the current practice of developing computer-based systems. PBSE is of pa...