Sciweavers

561 search results - page 56 / 113
» A Methodology for Example-Based Specification and Design
Sort
View
OOIS
2001
Springer
15 years 2 months ago
Towards a Requirements Engineering Process Model
The creation of a development process is a challenging task. The application, customization and refinement of generic process models into fine-grained process steps suitable for a...
Armin Eberlein, Li Jiang
MAM
2008
138views more  MAM 2008»
14 years 9 months ago
FPGA based tester tool for hybrid real-time systems
This paper presents a design methodology for a hybrid Hardwarein-the-Loop (HIL) tester tool, based on both discrete event system theory, given by timed automata, and continuous sy...
Jan Krakora, Zdenek Hanzálek
SIGSOFT
2003
ACM
15 years 3 months ago
Refinements and multi-dimensional separation of concerns
1 Step-wise refinement (SWR) asserts that complex programs can be derived from simple programs by progressively adding features. The length of a program specification is the number...
Don S. Batory, Jia Liu, Jacob Neal Sarvela
GECCO
2007
Springer
138views Optimization» more  GECCO 2007»
15 years 3 months ago
Implementation issues for an interactive evolutionary computation system
The design and development of an Interactive Evolutionary Computation (IEC) system needs to take into account the implementation issues found when delivering the system to “Real...
Mark R. N. Shackelford
ICWE
2007
Springer
15 years 3 months ago
WebRatio 5: An Eclipse-Based CASE Tool for Engineering Web Applications
: The goal of this work is to present the software WebRatio 5, which is a good representative of a new generation of CASE tools for model-driven design of Web applications. WebRati...
Roberto Acerbis, Aldo Bongio, Marco Brambilla, Ste...