5180 search results - page 154 / 1036 » Requirements Engineering |
192
Voted
AICCSA
2007
IEEE
15 years 11 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...
183
Voted
AAMAS
2010
Springer
15 years 7 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...
187
Voted
CORR
2008
Springer
15 years 7 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 ...
191
Voted
B
2007
Springer
16 years 1 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...
224
Voted
ISAS
2005
Springer
16 years 14 days 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...