Sciweavers

2385 search results - page 189 / 477
» Knowledge Refinement for a Design System
Sort
View
FM
2006
Springer
113views Formal Methods» more  FM 2006»
15 years 8 months ago
Interface Input/Output Automata
We propose a new look at one of the most fundamental types of behavioral interfaces: discrete time specifications of communication--directly related to the work of de Alfaro and H...
Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasows...
RE
2010
Springer
14 years 11 months ago
A goal-based framework for contextual requirements modeling and analysis
Abstract Requirements Engineering (RE) research often ignores, or presumes a uniform nature of the context in which the system operates. This assumption is no longer valid in emerg...
Raian Ali, Fabiano Dalpiaz, Paolo Giorgini
IEEEICCI
2002
IEEE
15 years 9 months ago
Software Agents: Quality, Complexity and Uncertainty Issues
In software engineering community there is an increasing effort of design and development of multiagent systems (MAS). Among several issues emerging from this initiative, complexi...
Behrouz Homayoun Far
PFE
2001
Springer
15 years 9 months ago
Supporting Information Product and Service Families with Traceability
In this paper, we examine the role of knowledge management in the design, customization, and delivery of a family of electronically delivered products and services, specifically in...
Balasubramaniam Ramesh, Amrit Tiwana, Kannan Mohan
ICTAI
2005
IEEE
15 years 10 months ago
Applying a Taxonomy of Formation Control in Developing a Robotic System
Designing cooperative multi-robot systems (MRS) requires expert knowledge both in control and artificial intelligence. Formation control is an important research within the resea...
Harry Chia-Hung Hsu, Alan Liu