Sciweavers

2016 search results - page 277 / 404
» Tool Support for Ontology Engineering
Sort
View
VAMOS
2010
Springer
15 years 7 months ago
A Deontic Logical Framework for Modelling Product Families
We discuss the application of deontic logics to the modelling of variabilities in product family descriptions. Deontic logics make it possible to express concepts like permission a...
Patrizia Asirelli, Maurice H. ter Beek, Stefania G...
CSSE
2006
IEEE
15 years 6 months ago
Agile PASSI: An agile process for designing agents
We have been developing robotic multi-agent systems for several years according to a well defined methodology (PASSI) obtaining good results, but day by day needs of a more versati...
Antonio Chella, Massimo Cossentino, Luca Sabatucci...
INFORMATICALT
2006
75views more  INFORMATICALT 2006»
15 years 6 months ago
Repository for Business Rules Based IS Requirements
The quality of software engineering projects often suffers due to the large gap between the way stakeholders present their requirements and the way analysts capture and express tho...
Kestutis Kapocius, Rimantas Butleris
TASE
2008
IEEE
15 years 6 months ago
Event-B Specification of a Situated Multi-Agent System: Study of a Platoon of Vehicles
Situated Multi-Agents Systems (MAS), and other Agentbased systems, are often complex. Formal reasoning is needed to ensuring their correctness and structuring their development. E...
Arnaud Lanoix
SAC
2008
ACM
15 years 5 months ago
Toward quality requirements analysis based on domain specific quality spectrum
It is difficult to identify whether quality requirements are defined adequately or not, but there are few methods to support this kind of requirements analysis. In this paper, we ...
Haruhiko Kaiya, Tomonori Sato, Akira Osada, Naoyuk...