Sciweavers

27 search results - page 6 / 6
» From Object-Oriented to Goal-Oriented Requirements Analysis
Sort
View
SIGCSE
2000
ACM
453views Education» more  SIGCSE 2000»
13 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
TFM
2009
Springer
252views Formal Methods» more  TFM 2009»
14 years 10 days ago
Abstraction and Modelling: A Complementary Partnership
action and Modelling - a complementary partnership” 10h30 – 11h 00 Coffee break 11h-12h30 Session 1 “Model Transformation: Foundations” Algebraic models for bidirectional m...
Jeffrey Kramer