Sciweavers

592 search results - page 67 / 119
» Refining Goal Models by Evaluating System Behaviour
Sort
View
ER
2007
Springer
157views Database» more  ER 2007»
15 years 10 months ago
Perceived vs. Measured Quality of Conceptual Schemas: An Experimental Comparison
Frequently the behaviour of an information system is functionally correct, but it does not meet some quality criteria, such as completeness, consistency, and usability. One way to...
Samira Si-Said Cherfi, Jacky Akoka, Isabelle Comyn...
DAC
2008
ACM
16 years 5 months ago
Specify-explore-refine (SER): from specification to implementation
Driven by increasing complexity and reliability demands, the Japanese Aerospace Exploration Agency (JAXA) in 2004 commissioned development of ELEGANT, a complete SpecC-based envir...
Andreas Gerstlauer, Junyu Peng, Dongwan Shin, Dani...
FAABS
2000
Springer
15 years 7 months ago
Formal Agent Development: Framework to System
Much work in the field of agent-based systems has tended to focus on either the development of practical applications of agent systems on the one hand, or the development of sophis...
Mark d'Inverno, Michael Luck
167
Voted
TSE
2010
197views more  TSE 2010»
14 years 10 months ago
A Genetic Algorithm-Based Stress Test Requirements Generator Tool and Its Empirical Evaluation
Genetic algorithms (GAs) have been applied previously to UML-driven, stress test requirements generation with the aim of increasing chances of discovering faults relating to networ...
Vahid Garousi
DASFAA
2005
IEEE
136views Database» more  DASFAA 2005»
15 years 9 months ago
Distributed Intersection Join of Complex Interval Sequences
In many different application areas, e.g. space observation systems or engineering systems of world-wide operating companies, there is a need for an efficient distributed intersect...
Hans-Peter Kriegel, Peter Kunath, Martin Pfeifle, ...