Sciweavers

80 search results - page 10 / 16
» On the Syllogistic Structure of Object-Oriented Programming
Sort
View
IADIS
2003
13 years 9 months ago
Evaluation of Web Sites a Theoretical Framework
We sketch a theoretical framework for the construction of evaluation schemes for web sites. The framework is based on the structure quite explicitly found in mathematics, physics ...
Terje Aaberge, Ivar Petter Grøtte, Ingjerd ...
TLCA
1995
Springer
13 years 11 months ago
Typed Operational Semantics
operator abstraction is a language construct relevant to object oriented programming languages and to ML2000, the successor to Standard ML. In this paper, we introduce Fω ≤, a ...
Healfdene Goguen
SOCO
2009
Springer
14 years 2 months ago
Feature (De)composition in Functional Programming
Abstract. The separation of concerns is a fundamental principle in software engineering. Crosscutting concerns are concerns that do not align with hierarchical and block decomposit...
Sven Apel, Christian Kästner, Armin Grö&...
ECOOP
2000
Springer
13 years 12 months ago
Copying and Comparing: Problems and Solutions
In object oriented programming, it is sometimes necessary to copy objects and to compare them for equality or inequality. We discuss some of the issues involved in copying and comp...
Peter Grogono, Markku Sakkinen
CAISE
1995
Springer
13 years 11 months ago
Process Improvement - The Way Forward
, methods, techniques and tools. High level languages, structured programming, abstract data types, formal methods, non-procedural programming, object orientation, CASE, support en...
M. M. Lehman