Sciweavers

1420 search results - page 74 / 284
» A combined functional and object-oriented approach to softwa...
Sort
View
ICRE
2000
IEEE
15 years 9 months ago
A Lightweight Approach to Consistency of Scenarios and Class Models
Today, object-oriented requirements specifications typically combine a scenario (or use case) model and a class model for expressing functional requirements. With any such combina...
Martin Glinz
SAT
2010
Springer
158views Hardware» more  SAT 2010»
15 years 10 months ago
Dynamic Scoring Functions with Variable Expressions: New SLS Methods for Solving SAT
Abstract. We introduce a new conceptual model for representing and designing Stochastic Local Search (SLS) algorithms for the propositional satisfiability problem (SAT). Our model...
Dave A. D. Tompkins, Holger H. Hoos
SIGCSE
2000
ACM
453views Education» more  SIGCSE 2000»
15 years 10 months ago
Aristotle and object-oriented programming: why modern students need traditional logic
Classifying is a central activity in object-oriented programming and distinguishes it from procedural programming. Traditional logic, initiated by Aristotle, assigns classificatio...
Derek Rayside, Gerard T. Campbell
ICSEA
2006
IEEE
16 years 6 days ago
Template-Based Development of Fault-Tolerant Embedded Software
— Currently there are different approaches to develop fault-tolerant embedded software: implementing the system from scratch or using libraries respectively specialized hardware....
Christian Buckl, Alois Knoll, Gerhard Schrott
JCP
2008
174views more  JCP 2008»
15 years 6 months ago
Design and Implementation of Spatial Data Mining System (M-SDM) based on MATLAB
Taking the design of data analyzing software for imaging brain function -- SPM (Statistical Parameters Mapping) for reference, this study combined MATLAB, GIS and SDM organically, ...
Lu Zhao, Xinqi Zheng, Shuqing Wang