Sciweavers

858 search results - page 41 / 172
» BMM: A Business Modeling Method For Information Systems Deve...
Sort
View
ISNN
2005
Springer
14 years 2 months ago
Applying Neural Networks and Geographical Information Systems to Airport Noise Evaluation
The assessment of aircraft noise is becoming an increasingly important task in ensuring sustainable airport development. Aircraft noise is influenced by many complex factors and tr...
Yingjie Yang, David Gillingwater, Chris J. Hinde
MAGS
2006
150views more  MAGS 2006»
13 years 9 months ago
The Agent-Rule-Class framework for Multi-Agent Systems
Multi-Agent Systems (MAS) have become increasingly mature, but this maturity does not make the traditional Object Oriented (OO) approaches obsolete. On the contrary, building MAS i...
Liang Xiao 0002, Des Greer
FM
2006
Springer
126views Formal Methods» more  FM 2006»
14 years 26 days ago
Towards Modularized Verification of Distributed Time-Triggered Systems
Abstract. The correctness of a system according to a given specification is essential, especially for safety-critical applications. One such typical application domain is the autom...
Jewgenij Botaschanjan, Alexander Gruler, Alexander...
ER
2003
Springer
142views Database» more  ER 2003»
14 years 2 months ago
An OPM-Based Metamodel of System Development Process
A modeling and development methodology is a combination of a language for expressing the universal or domain ontology and an approach for developing systems using that language. A ...
Dov Dori, Iris Reinhartz-Berger
ER
2005
Springer
155views Database» more  ER 2005»
14 years 2 months ago
Applying Transformations to Model Driven Development of Web Applications
Nowadays, the maturity reached by the Web engineering research community can be assessed by the myriad of web design methods that have proven successful for the specification of th...
Santiago Meliá, Jaime Gómez