Sciweavers

1180 search results - page 164 / 236
» Total Functional Software Engineering - Overview Paper
Sort
View
WACC
1999
ACM
15 years 3 months ago
Supporting the writing of reports in a hierarchical organization
In many hierarchical companies, reports from several independent groups must be merged to form a single, companywide report. This paper describes a process and system for creating...
Andreas Girgensohn
COMPSAC
1998
IEEE
15 years 3 months ago
The Essence of the Visitor Pattern
Abstract. For object-oriented programming, the Visitor pattern enables the definition of a new operation on an object structure without changing the classes of the objects. The pri...
Jens Palsberg, C. Barry Jay
ICSE
1993
IEEE-ACM
15 years 3 months ago
Rule-Based Approach to Computing Module Cohesion
Stevens, Myers, and Constantine introduced the notion of cohesion, an ordinal scale of seven levels that describes the degree to which the actions performed by a module contribute...
Arun Lakhotia
IUI
1993
ACM
15 years 3 months ago
The price of flexibility
The goal of this paper is to model an agent who dislikes large choice sets because of the “cost of thinking” involved in choosing from them. We take as a primitive a preferenc...
David D. Woods
TACS
1994
Springer
15 years 3 months ago
ML Typing, Explicit Polymorphism and Qualified Types
The ML type system was originally introduced as a means of identifying a class of terms in a simple untyped language, often referred to as core-ML, whose evaluation could be guaran...
Mark P. Jones