Cumincad : CUMINCAD Papers : Search Results

CumInCAD is a Cumulative Index about publications in Computer Aided Architectural Design
supported by the sibling associations ACADIA, CAADRIA, eCAADe, SIGraDi, ASCAAD and CAAD futures

PDF papers
References

Hits 1 to 20 of 113

Reformat results as: short short into frame detailed detailed into frame

_id	e26b
authors	Kalay, Yehuda E.
year	1983
title	Modeling Polyhedral Solids Bounded by Multi-Curved Parametric Surfaces
source	Computer Aided Design May, 1983. Vol. 15: pp. 141-146 : ill. includes bibliography.
summary	An integrated solids modelling system for representing and manipulating objects bounded by bicubic parametric surfaces is presented. Its basic capabilities include the representation of solids through a surface based model, such that the surface underlying any face can be replaced by another surface that has been modelled independently. Other functionalities include scaling, rotation and translation of shapes and their pairwise combination into more complex shapes by means of spatial set operators. This approach integrates within a single system the representation and manipulation of polyhedral solids bounded by multi-curved parametric surfaces, thereby combining solid modelling with surface modelling techniques
keywords	solid modeling, curves, curved surfaces, integration, systems, B-rep, intersection, boolean operations
series	CADline
email
last changed	2003/06/02 10:24

_id	b190
authors	Goldberg, Adele and Robson, David
year	1983
title	Smalltalk-80: The language and its implementation
source	New York, NY: Addison Wesley Co
summary	Smalltalk-80 is the classic standard Smalltalk language as described in Smalltalk-80: The Language and Its Implementation by Goldberg and Robson. This book is commonly called "the Blue Book". Squeak implements the dialect of Smalltalk described in this book, but has a different implementation. Overview of the Smalltalk Language Smalltalk is a general purpose, high level programming language. It was the first original "pure" object oriented language, but not the first to use the object oriented concept, which is credited to Simula 67. The explosive growth of Object Oriented Programming (OOP) technologies began in the early 1980's, with Smalltalk's introduction. Behind it was the idea that the individual human user should be the most important component of any computing system, and that programming should be a natural extension of thinking, and also a dynamic and evolutionary process consistent with the model of human learning activity. In Smalltalk, these ideas are embodied in a framework for human-computer communication. In a sense, Smalltalk is yet another language like C and Pascal, and programs can be written in Smalltalk that have the look and feel of such conventional languages. The difference lies * in the amount of code that can be reduced, * less cryptic syntax, * and code that is easier to handle for application maintenance and enhancement. But Smalltalk's most powerful feature is easy code reuse. Smalltalk makes reuse of programs, routines, and subroutines (methods) far easier. Though procedural languages allow reuse too, it is harder to do, and much easier to cheat. It is no surprise that Smalltalk is relatively easy to learn, mainly due to its simple syntax and semantics, as well as few concepts. Objects, classes, messages, and methods form the basis of programming in Smalltalk. The general methodology to use Smalltalk The notion of human-computer interface also results in Smalltalk promoting the development of safer systems. Errors in Smalltalk may be viewed as objects telling users that confusion exists as to how to perform a desired function.
series	other
last changed	2003/04/23 15:14

_id	sigradi2006_e028c
id	sigradi2006_e028c
authors	Griffith, Kenfield; Sass, Larry and Michaud, Dennis
year	2006
title	A strategy for complex-curved building design:Design structure with Bi-lateral contouring as integrally connected ribs
source	SIGraDi 2006 - [Proceedings of the 10th Iberoamerican Congress of Digital Graphics] Santiago de Chile - Chile 21-23 November 2006, pp. 465-469
summary	Shapes in designs created by architects such as Gehry Partners (Shelden, 2002), Foster and Partners, and Kohn Peterson and Fox rely on computational processes for rationalizing complex geometry for building construction. Rationalization is the reduction of a complete geometric shape into discrete components. Unfortunately, for many architects the rationalization is limited reducing solid models to surfaces or data on spread sheets for contractors to follow. Rationalized models produced by the firms listed above do not offer strategies for construction or digital fabrication. For the physical production of CAD description an alternative to the rationalized description is needed. This paper examines the coupling of digital rationalization and digital fabrication with physical mockups (Rich, 1989). Our aim is to explore complex relationships found in early and mid stage design phases when digital fabrication is used to produce design outcomes. Results of our investigation will aid architects and engineers in addressing the complications found in the translation of design models embedded with precision to constructible geometries. We present an algorithmically based approach to design rationalization that supports physical production as well as surface production of desktop models. Our approach is an alternative to conventional rapid prototyping that builds objects by assembly of laterally sliced contours from a solid model. We explored an improved product description for rapid manufacture as bilateral contouring for structure and panelling for strength (Kolarevic, 2003). Infrastructure typically found within aerospace, automotive, and shipbuilding industries, bilateral contouring is an organized matrix of horizontal and vertical interlocking ribs evenly distributed along a surface. These structures are monocoque and semi-monocoque assemblies composed of structural ribs and skinning attached by rivets and adhesives. Alternative, bi-lateral contouring discussed is an interlocking matrix of plywood strips having integral joinery for assembly. Unlike traditional methods of building representations through malleable materials for creating tangible objects (Friedman, 2002), this approach constructs with the implication for building life-size solutions. Three algorithms are presented as examples of rationalized design production with physical results. The first algorithm [Figure 1] deconstructs an initial 2D curved form into ribbed slices to be assembled through integral connections constructed as part of the rib solution. The second algorithm [Figure 2] deconstructs curved forms of greater complexity. The algorithm walks along the surface extracting surface information along horizontal and vertical axes saving surface information resulting in a ribbed structure of slight double curvature. The final algorithm [Figure 3] is expressed as plug-in software for Rhino that deconstructs a design to components for assembly as rib structures. The plug-in also translates geometries to a flatten position for 2D fabrication. The software demonstrates the full scope of the research exploration. Studies published by Dodgson argued that innovation technology (IvT) (Dodgson, Gann, Salter, 2004) helped in solving projects like the Guggenheim in Bilbao, the leaning Tower of Pisa in Italy, and the Millennium Bridge in London. Similarly, the method discussed in this paper will aid in solving physical production problems with complex building forms. References Bentley, P.J. (Ed.). Evolutionary Design by Computers. Morgan Kaufman Publishers Inc. San Francisco, CA, 1-73 Celani, G, (2004) “From simple to complex: using AutoCAD to build generative design systems” in: L. Caldas and J. Duarte (org.) Implementations issues in generative design systems. First Intl. Conference on Design Computing and Cognition, July 2004 Dodgson M, Gann D.M., Salter A, (2004), “Impact of Innovation Technology on Engineering Problem Solving: Lessons from High Profile Public Projects,” Industrial Dynamics, Innovation and Development, 2004 Dristas, (2004) “Design Operators.” Thesis. Massachusetts Institute of Technology, Cambridge, MA, 2004 Friedman, M, (2002), Gehry Talks: Architecture + Practice, Universe Publishing, New York, NY, 2002 Kolarevic, B, (2003), Architecture in the Digital Age: Design and Manufacturing, Spon Press, London, UK, 2003 Opas J, Bochnick H, Tuomi J, (1994), “Manufacturability Analysis as a Part of CAD/CAM Integration”, Intelligent Systems in Design and Manufacturing, 261-292 Rudolph S, Alber R, (2002), “An Evolutionary Approach to the Inverse Problem in Rule-Based Design Representations”, Artificial Intelligence in Design ’02, 329-350 Rich M, (1989), Digital Mockup, American Institute of Aeronautics and Astronautics, Reston, VA, 1989 Schön, D., The Reflective Practitioner: How Professional Think in Action. Basic Books. 1983 Shelden, D, (2003), “Digital Surface Representation and the Constructability of Gehry’s Architecture.” Diss. Massachusetts Institute of Technology, Cambridge, MA, 2003 Smithers T, Conkie A, Doheny J, Logan B, Millington K, (1989), “Design as Intelligent Behaviour: An AI in Design Thesis Programme”, Artificial Intelligence in Design, 293-334 Smithers T, (2002), “Synthesis in Designing”, Artificial Intelligence in Design ’02, 3-24 Stiny, G, (1977), “Ice-ray: a note on the generation of Chinese lattice designs” Environmental and Planning B, volume 4, pp. 89-98
keywords	Digital fabrication; bilateral contouring; integral connection; complex-curve
series	SIGRADI
email
last changed	2016/03/10 09:52

_id	610b
authors	Hall, R.N.
year	1983
title	The Use of Gable OMS (Object Modelling System) in the Building Design ProcessThe Use of Gable OMS (Object Modelling System) in the Building Design Process
doi	https://doi.org/10.52842/conf.ecaade.1983.x.b6t
source	Proceedings of the International Conference eCAADe [European Computer Aided Architectural Design Education] Brussels (Belgium) 1983, pp. III.1-III.18
summary	GABLE CAD SYSTEMS comprise a suite of integrated sub-systems, one of which is OMS. The use of OMS in the development of a building design enables three dimensional graphical modelling of objects associated with buildings. Thus furniture, fittings and fixtures may be located within any room in a building or outside a building or in relation to other groups of objects unrelated to a building. Once located, objects and building may be seen in 2D plan and elevation/section projection or 3D projection (perspectives, axonometrics, isometrics, etc.). In this way furniture, people, cars, trees,landscape objects may all be modelled and graphically represented in addition to the modelling capabilities enabled using GABLE BMS (Building Modelling System). These graphically represented 2D and 3D views of objects can then be passed into GABLE IDS for further embellishment, annotation or dimensioning to produce detailed working drawings.
keywords	Three Dimensional Graphical Modelling
series	eCAADe
last changed	2022/06/07 07:50

_id	4b8e
authors	Kalay, Yehuda E. and Eastman, Charles M.
year	1983
title	Shape Operation : An Algorithm For Binary Combining Boundary Model Solids
source	November, 1983. 30 p. : ill. includes bibliography
summary	The attractiveness of shape operators to end-users of geometric modeling systems stems from their intuitive clarity. Their implementation, however, is one of the most difficult algorithms in computational geometry. This complexity is further increased by the special properties of surfaces, such as orientation, that places the algorithm in the domain of manifold theory more than of set theory. A theoretical base for applying the set-theoretic operators of union, intersection and difference to spatial domains is presented, along with an algorithm that is successful in negotiating these complexities and all their special cases (in particular the presence of coincidental surfaces). The general principles of representing solids through their bounding surfaces and topics in manifold theory and boolean algebra relevant to understanding the algorithm are also discussed. The algorithm has been successfully implemented in three different geometric modeling systems over a period of four years. Some example of its application are included
keywords	algorithms, boolean operations, solid modeling, B-rep, geometric modeling, topology
series	CADline
email
last changed	2003/05/17 10:18

_id	abb6
authors	Woodbury, Robert F. and Glass, Gregory John
year	1983
title	VEGA : A Geometric Modelling System
source	11 p. : ill. December, 1983. DRC- 48-04-83. includes bibliography
summary	VEGA is an interactive geometric modelling system which has been developed at Carnegie-mellon University primarily for education in architecture and the arts. Its educational use is twofold: first as a medium for description and manipulation of form to aid in creative work and second as a base package of procedures that may be used by advanced architecture students in the creation of specialized modelling packages. VEGA is written in PASCAL. There are versions of VEGA currently running on VAX 11/780 computer under the UNIX and VMS operating systems. VEGA has been designed to run on a stand-alone personal computer. Currently VEGA is being converted to run on Sun Microsystems and PERQ machines. VEGA is used in the undergraduate curriculum of the School of Architecture at Carnegie-Mellon University. Its primary use to date has been as a means to introduce geometric modelling to architecture students who have minimal computer experience. VEGA may be viewed as a complete geometric modelling package or as a programming aid for development of special purpose geometric modelling programs. To date, one such specialized system, a robot arm design package, has been created as a student project. The development of the VEGA system is continuing. Current areas of interest include the development of more powerful geometric operations on polyhedra, parametric shapes and assemblies, instancing of sub- assemblies, user definition of primitive shapes and an interactive macro language for the manipulation of form
keywords	assemblies, user interface, modeling, polyhedra, CAD, education, architecture, geometric modeling, solid modeling
series	CADline
email
last changed	2003/06/02 13:58

_id	e118
authors	Balas, Egon
year	1983
title	Disjunctive Programming and a Hierarchy of Relaxations for Discrete Optimization Problems
source	December, 1983. 38 p. : ill. includes bibliography
summary	The author discuss a new conceptual framework for the convexification of discrete optimization problems, and a general technique for obtaining approximations to the convex hull of the feasible set. The concepts come from disjunctive programming and the key tool is a description of the convex hull of a union of polyhedra in terms of a higher dimensional polyhedron. Although this description was known for several years, only recently was it shown by Jeroslow and Lowe to yield improved representations of discrete optimization problems. The author expresses the feasible set of a discrete optimization problem as the intersection (conjunction) of unions of polyhedra, and define an operation that takes one such expression into another, equivalent one, with fewer conjuncts. He then introduces a class of relaxations based on replacing each conjunct (union of polyhedra) by its convex hull. The strength of the relaxations increases as the number of conjuncts decreases, and the class of relaxations forms a hierarchy that spans the spectrum between the common linear programming relaxation, and the convex hull of the feasible set itself. Instances where this approach presents advantages include critical path problems in disjunctive graphs, network synthesis problems, certain fixed charge network flow problems, etc. The approach on the first of these problems is illustrated, which is a model for machine sequencing
keywords	polyhedra, computational geometry, optimization, programming, convex hull, graphs
series	CADline
last changed	1999/02/12 15:07

_id	4d66
authors	Kalay, Yehuda E.
year	1983
title	A Relational Database for Non-Manipulative Representation of Solid Objects
source	Computer Aided Design September, 1983. vol. 15: pp. 271-276 : ill. includes bibliography.
summary	Being the heart of any solid modeling system, much effort has been spent on formulating the data models which represent the shape of a polyhedral solid object within the computer in an accurate, unique and complete manner. This paper presents an example relational model as a complementary logical schema for viewing the shape database. It facilitates compact storage and supports non-manipulative query operations through the projection, selection and join operators defined for the relational model, without requiring expert knowledge of the manipulative structure. The flexibility of the relational model, compared with that of the hierarchical, manipulative one, allows easy extensibility and the association of non- geometric attributes with each data item
keywords	solid modeling, polyhedra, relational database, representation
series	CADline
email
last changed	2003/06/02 13:58

_id	8d59
authors	Andersen, J.M.
year	1983
title	CAD in Architectural Practice
source	Mechanical Engineering. July, 1983. pp. 48-54 : ill. includes a short bibliography
summary	A leading architecture/engineering firm has made use of in- house computer system since 1963. This paper discusses some special topics in using computers for the design of HVAC systems, and the process of implementing CAD in the HVAC engineering practice
keywords	computer graphics, HVAC, applications, practice, architecture
series	CADline
last changed	2003/06/02 13:58

_id	0105
authors	Bossan, Mario and Ronchi, Alfredo M.
year	1989
title	Presentazione Esperienza Didattica del Dipartimento di Ingegneria dei Sistemi Edilizi e Territoriali - Politecnico di Milano
doi	https://doi.org/10.52842/conf.ecaade.1989.x.x4i
source	CAAD: Education - Research and Practice [eCAADe Conference Proceedings / ISBN 87-982875-2-4] Aarhus (Denmark) 21-23 September 1989, pp. 9.8.1-9.8.19
summary	Didactic and research experience developed at the "Dipartimento di Ingegneria dei Sistemi Edilizi e Territoriali del Politecnico di Milano" in the environment of Computer Aided Architectural Design (CAAD). From the early part of the 1980's, using initially at an experimental level the resources available at the departmental centre of calculation various applications of CAD techniques in the building sector have been effected at DISET (Dipartimento di Ingegneria del Politecnico di Milano). During 1983, after a three year period of experimenting with these systems, it was decided to organise and activate a small computer aided design centre, within the department, the use of which was reserved for dissertation and research students.
series	eCAADe
email
last changed	2022/06/07 07:50

_id	avocaad_2001_02
id	avocaad_2001_02
authors	Cheng-Yuan Lin, Yu-Tung Liu
year	2001
title	A digital Procedure of Building Construction: A practical project
source	AVOCAAD - ADDED VALUE OF COMPUTER AIDED ARCHITECTURAL DESIGN, Nys Koenraad, Provoost Tom, Verbeke Johan, Verleye Johan (Eds.), (2001) Hogeschool voor Wetenschap en Kunst - Departement Architectuur Sint-Lucas, Campus Brussel, ISBN 80-76101-05-1
summary	In earlier times in which computers have not yet been developed well, there has been some researches regarding representation using conventional media (Gombrich, 1960; Arnheim, 1970). For ancient architects, the design process was described abstractly by text (Hewitt, 1985; Cable, 1983); the process evolved from unselfconscious to conscious ways (Alexander, 1964). Till the appearance of 2D drawings, these drawings could only express abstract visual thinking and visually conceptualized vocabulary (Goldschmidt, 1999). Then with the massive use of physical models in the Renaissance, the form and space of architecture was given better precision (Millon, 1994). Researches continued their attempts to identify the nature of different design tools (Eastman and Fereshe, 1994). Simon (1981) figured out that human increasingly relies on other specialists, computational agents, and materials referred to augment their cognitive abilities. This discourse was verified by recent research on conception of design and the expression using digital technologies (McCullough, 1996; Perez-Gomez and Pelletier, 1997). While other design tools did not change as much as representation (Panofsky, 1991; Koch, 1997), the involvement of computers in conventional architecture design arouses a new design thinking of digital architecture (Liu, 1996; Krawczyk, 1997; Murray, 1997; Wertheim, 1999). The notion of the link between ideas and media is emphasized throughout various fields, such as architectural education (Radford, 2000), Internet, and restoration of historical architecture (Potier et al., 2000). Information technology is also an important tool for civil engineering projects (Choi and Ibbs, 1989). Compared with conventional design media, computers avoid some errors in the process (Zaera, 1997). However, most of the application of computers to construction is restricted to simulations in building process (Halpin, 1990). It is worth studying how to employ computer technology meaningfully to bring significant changes to concept stage during the process of building construction (Madazo, 2000; Dave, 2000) and communication (Haymaker, 2000).In architectural design, concept design was achieved through drawings and models (Mitchell, 1997), while the working drawings and even shop drawings were brewed and communicated through drawings only. However, the most effective method of shaping building elements is to build models by computer (Madrazo, 1999). With the trend of 3D visualization (Johnson and Clayton, 1998) and the difference of designing between the physical environment and virtual environment (Maher et al. 2000), we intend to study the possibilities of using digital models, in addition to drawings, as a critical media in the conceptual stage of building construction process in the near future (just as the critical role that physical models played in early design process in the Renaissance). This research is combined with two practical building projects, following the progress of construction by using digital models and animations to simulate the structural layouts of the projects. We also tried to solve the complicated and even conflicting problems in the detail and piping design process through an easily accessible and precise interface. An attempt was made to delineate the hierarchy of the elements in a single structural and constructional system, and the corresponding relations among the systems. Since building construction is often complicated and even conflicting, precision needed to complete the projects can not be based merely on 2D drawings with some imagination. The purpose of this paper is to describe all the related elements according to precision and correctness, to discuss every possibility of different thinking in design of electric-mechanical engineering, to receive feedback from the construction projects in the real world, and to compare the digital models with conventional drawings.Through the application of this research, the subtle relations between the conventional drawings and digital models can be used in the area of building construction. Moreover, a theoretical model and standard process is proposed by using conventional drawings, digital models and physical buildings. By introducing the intervention of digital media in design process of working drawings and shop drawings, there is an opportune chance to use the digital media as a prominent design tool. This study extends the use of digital model and animation from design process to construction process. However, the entire construction process involves various details and exceptions, which are not discussed in this paper. These limitations should be explored in future studies.
series	AVOCAAD
email
last changed	2005/09/09 10:48

_id	0d6d
authors	Doyle, Jon
year	1983
title	Admissible State Semantics for Representational Systems
source	IEEE Computer. IEEE computer society, October, 1983. vol. 16: pp. 119-122. includes bibliography
summary	A clear semantic is one of the most important requirements in designing representational systems. This article indicates how many kinds of informal semantics can be transformed directly into formal semantics of no greater complexity. The author focuses on the meaning rather than on the expression within a particular logical language. The distinction of the meaning of mental components from general ecological meaning is done by the name admissible state semantics, leaving the specification of external meaning to the standard tools of model theory. The method of admissible state semantic is simple, resembling the usual explanations of intended meanings given by system designers. The designer explains the meaning of one representation in terms of its relations to other representation in the system. Examples are given
keywords	logic, languages, representation, systems, semantics
series	CADline
last changed	1999/02/12 15:08

_id	273f
authors	Elcock, E.W.
year	1983
title	How Complete are Knowledge Representation Systems?
source	IEEE Computer. IEEE computer society, October, 1983. vol. 16: pp. 114-118. includes bibliography
summary	Prolog, the most feasible of the first-order logic systems, has intriguing analogies with Absys, short for Aberdeen System, an assertative programming system developed in 1968. In this article, the issue of incompleteness is explored by comparing aspects of the two systems, and the incompleteness resulting from any serious use of Prolog as a vehicle for a knowledge-based system is addressed
keywords	PROLOG, algorithms, knowledge, systems, languages
series	CADline
last changed	2003/06/02 13:58

_id	40bf
authors	Funt, Brian V.
year	1983
title	Analogical Modes of Reasoning and Process Modeling
source	IEEE Computer. IEEE computer society, October, 1983. vol. 16: pp. 99-103 : ill. includes bibliography
summary	Analogical reasoning can be incorporated into AI problem- solving systems, representing data in a form amenable to parallel processing. One program using analog is Whisper, an AI problem-solving system, which uses a diagram to predict the collapse of a structure constructed from a set of blocks
keywords	AI, parallel processing, reasoning, problem solving
series	CADline
last changed	2003/06/02 13:58

_id	4052
authors	Gero, John S., Akiner , Tuncer V. and Radford, Antony D.
year	1983
title	What's What and What's Where : Knowledge Engineering in the Representation of Building by Computer
source	1983. 205-215 pp. : ill. floor planes. include a short bibliography
summary	Knowledge engineering allows for the encoding of both numeric and symbolic knowledge as inferences. It provides a fundamentally different means of representing buildings than do traditional data structures and databases. A prototypical knowledge engineering reasoning system which reasons about topological relationships, geometric entities and attributes of buildings is described. It is applied in the analysis of an existing small hotel. Using knowledge engineering we can expect future CAAD system to be different to the one with which we have become familiar
keywords	building, representation, reasoning, knowledge, analysis, evaluation, systems
series	CADline
email
last changed	2003/06/02 13:58

_id	a456
authors	Gould, J.D., Conti, J. and Hovanyecz, T.
year	1983
title	Composing Letters with a Simulated Listening Typewriter
source	Communications of the ACM. April, 1983. vol. 26: pp. 295-308 : ill. graphs, tables. includes bibliography
summary	With a listening typewriter, what an author says would be automatically recognized and displayed in front of him or her. However, speech recognition is not yet advanced enough to provide people with a reliable listening typewriter. An aim of the authors' experiments was to determine if an imperfect listening typewriter would be useful for composing letters. Participants dictated letters, either in isolated words or in consecutive word speech. They did this with simulations of listening typewriters that recognized either a limited vocabulary (1000 or 5000 words) or an unlimited vocabulary. Results suggest that some versions, even upon first using them, could be at least as good as traditional methods of handwriting and dictating. Isolated word speech with large vocabularies may provide the basis for a useful listening typewriter
keywords	natural languages, applications, systems, business, AI
series	CADline
last changed	2003/06/02 14:41

_id	8d5e
authors	Hayes-Roth, Frederick, Waterman, Donald A. and Lenat, Douglas B. (editors)
year	1983
title	Building Expert System
source	vii, 444 p. : ill
summary	Reading,Mass.: Addison-Wesley Pub., 1983. 1: include bibliography: p. 405-420 -- (Teknowledge Series in Knowledge Engineering. Hayes-Roth, Frederick, series editor). This book is a collaboration of 38 expert system researchers and developers. It provides a broad introduction to the concepts and methods necessary for an understanding of how these systems work
keywords	AI, expert systems
series	CADline
last changed	2003/06/02 10:24

_id	27f4
authors	Holtz, Neal M. and Rasdorf, William J.
year	1983
title	LISP - A CAD System Programming Language
source	Journal of Technical Topics in Civil Engineers. April, 1983. vol. 109: pp. 58-72
summary	LISP may currently be the best programming language to use for the development of engineering computer-aided design (CAD) systems. While languages like FORTRAN represent important advances over their predecessors, it may be that a single static programming language will never be completely adequate for engineering programming. What is needed is a language that can evolve in response to changing needs. This paper is concerned with the programming languages that support CAD systems. The choice of such a programming language significantly influences the flavor of the product derived from that language. The language should provide a style of interaction and a programming environment that is a good model for software developers. At the very least, this will lead to a consistency among most programs developed using that language. The language should also help reduce program complexity and permit one to program at the level of application concepts, rather than at the level of memory locations. LISP or LISP-like languages provide perhaps our greatest opportunity for reducing program complexity to manageable proportions. More importantly, the systems are of better quality when they reflect the style provided by LISP; they tend to be more easily tailored to the needs of individual users
keywords	CAD, LISP, languages, programming, engineering
series	CADline
last changed	2003/06/02 13:58

_id	cbe9
authors	Jacob, Robert J.K.
year	1983
title	Using Formal Specifications in the Design of a Human-Computer Interface
source	Communications of the ACM April, 1983. vol. 26: pp. 259-264 : diagrams. includes bibliography.
summary	Formal specification techniques are valuable in software development because they permit a designer to describe the external behavior of a system precisely without specifying its internal implementation. Although formal specifications have been applied to many areas of software systems, they have not been widely used for specifying user interfaces. In the Military Message System project at the Naval Research Laboratory, the user interfaces as well as the other components of a family of message systems are specified formally, and prototypes are then implemented from the specifications. This paper illustrates the specification of the user interface module for the family of message systems. It then surveys specification techniques that can be applied to human-computer interfaces and divides the techniques into two categories: those based on state transition diagrams and those based on BNF. Examples of both types of specifications are given. Specification notations based on state transition diagrams are preferable to those based on BNF because the former capture the surface structure of the user interface more perspicuously. In either notation, high-level abstraction for describing the semantics of the user interface is needed, and an application-specific one is used here
keywords	user interface, design, theory
series	CADline
last changed	2003/06/02 13:58

_id	cb5f
authors	Kant, Elaine and Newell, Allen
year	1983
title	An Automatic Algorithm Designer : An Initial Implementation
source	Design Research Center, CMU, May, 1983. 10 p. includes bibliography
summary	This paper outlines a specification for an algorithm-design system (based on previous work involving protocol analysis) and describes an implementation of the specification that is a combination frame and production system. In the implementation, design occurs in two problem spaces: one about algorithms and one about the task domain. The partially worked out algorithms are represented as configurations of data-flow components. A small number of general purpose operators construct and modify the representations. These operators are adapted to different situations by instantiation and means-ends analysis rules. The data-flow space also includes symbolic and test-case execution rules that drive the component-refinement process by exposing both problems and opportunities. A domain space about geometric images supports test-case execution, domain-specific problem solving, recognition and discovery
keywords	algorithms, design, systems, synthesis, automation, protocol analysis, frames, discovery, problem solving
series	CADline
last changed	2003/06/02 13:58

For more results click below: