15860 search results - page 2984 / 3172 » Agent-Based Software Engineering |
139
click to vote
ASM
2010
ASM
15 years 6 months ago
2010
ASM
The B method is one of the most used formal methods, when reactive systems is under question, due to good support for refinement. However, obtaining the formal model from requireme...
110
click to vote
GECCO
2010
Springer
15 years 6 months ago
2010
Springer
SBSE techniques have been widely applied to requirements selection and prioritization problems in order to ascertain a suitable set of requirements for the next release of a syste...
114
click to vote
DESRIST
2009
Springer
15 years 6 months ago
2009
Springer
As a result of the rigor vs. relevance debate, researchers who focus on design research on organizational problems are beginning to focus on their research methodology’s rigor. ...
132
click to vote
FLAIRS
2007
15 years 5 months ago
2007
Semantic relations are an important element in the construction of ontology-based linguistic resources and models of problem domains. Nevertheless, they remain under-specified. Th...
115
click to vote
WSC
2007
15 years 5 months ago
2007
Decision making in industry continues to become more complicated. Customers are more demanding, competition is more fierce, and costs for labor and raw materials continue to rise....