Software Design – Cognitive Aspect

Software Design – Cognitive Aspect PDF Author: Francoise Detienne
Publisher: Springer Science & Business Media
ISBN: 1447101111
Category : Computers
Languages : en
Pages : 145

Get Book Here

Book Description
Covering a variety of areas including software analysis, design, coding and maintenance, this text details the research conducted since the 1970s in this fast-developing field before going on to define a computer program from the viewpoint of computing and cognitive psychology. The two essential sides of programming, software production and software understanding, are given detailed treatment, with parallels drawn throughout between studies on processing texts written in natural language and processing computer programs. Of particular interest to researchers, practitioners and graduates in cognitive psychology, cognitive ergonomics and computer science.

Software Design – Cognitive Aspect

Software Design – Cognitive Aspect PDF Author: Francoise Detienne
Publisher: Springer Science & Business Media
ISBN: 1447101111
Category : Computers
Languages : en
Pages : 145

Get Book Here

Book Description
Covering a variety of areas including software analysis, design, coding and maintenance, this text details the research conducted since the 1970s in this fast-developing field before going on to define a computer program from the viewpoint of computing and cognitive psychology. The two essential sides of programming, software production and software understanding, are given detailed treatment, with parallels drawn throughout between studies on processing texts written in natural language and processing computer programs. Of particular interest to researchers, practitioners and graduates in cognitive psychology, cognitive ergonomics and computer science.

Formal Aspects of Component Software

Formal Aspects of Component Software PDF Author: José Luiz Fiadeiro
Publisher: Springer
ISBN: 3319076027
Category : Computers
Languages : en
Pages : 393

Get Book Here

Book Description
This book constitutes the revised selected papers of the 10th International Symposium on Formal Aspects of Component Software, FACS 2013, held in Nanchang, China, in October 2013. The 19 full papers and three invited talks presented were carefully reviewed and selected from 51 submissions. The papers are concerned with how formal methods can be used to make component-based development fit for the new architectures of today and the systems that are now pervading the socio-economic worlds.

The Cognitive Artifacts of Designing

The Cognitive Artifacts of Designing PDF Author: Willemien Visser
Publisher: CRC Press
ISBN: 148226952X
Category : Technology & Engineering
Languages : en
Pages : 285

Get Book Here

Book Description
In this dynamic review and synthesis of empirical research and theoretical discussion of design as cognitive activity, Willemien Visser reconciles and integrates the classical view of design, as conceptualized by Herbert Simon's symbolic information processing approach, with modern views of design such as the situativity approach, as formulated by Donald Schon. The author goes on to develop her own view on design, in which design is most appropriately characterized as a construction of representations. She lays the groundwork for the integration of design research and cognitive science. This seemingly simple framework has implications that set the stage for this mutually beneficial integration.

Revue roumaine des sciences techniques

Revue roumaine des sciences techniques PDF Author:
Publisher:
ISBN:
Category : Electric power
Languages : en
Pages : 562

Get Book Here

Book Description


Scientific and Technical Aerospace Reports

Scientific and Technical Aerospace Reports PDF Author:
Publisher:
ISBN:
Category : Aeronautics
Languages : en
Pages : 772

Get Book Here

Book Description


Design and Implementation of Symbolic Computation Systems

Design and Implementation of Symbolic Computation Systems PDF Author: Alfonso Miola
Publisher: Springer Science & Business Media
ISBN: 9783540525318
Category : Computers
Languages : en
Pages : 300

Get Book Here

Book Description
The growing importance of the systems for symbolic computation has greatly influenced the decision of organizing DISCO '90 which is short for International Symposium on Design and Implementation of Symbolic Computation Systems. DISCO '90 focuses mainly on the most innovative methodological and technological aspects of hardware and software system design and implementation for Symbolic and Algebraic Computation, Automated Reasoning, Software Environments (Languages and User Interfaces), and Automatic Programming. In particular, it includes papers on the design and the development of significant running systems. The general objective of DISCO '90 is to present an up-to-date view of the field, while encouraging the scientific exchange among academic, industrial and user communities of the development of systems for symbolic computation.

Estimation des projets de l'entreprise numérique  : Approche systémique, coûts, qualité et délais

Estimation des projets de l'entreprise numérique  : Approche systémique, coûts, qualité et délais PDF Author: PRINTZ Jacques
Publisher: Lavoisier
ISBN: 2746288346
Category :
Languages : en
Pages : 402

Get Book Here

Book Description
Les projets informatiques sont désormais développés dans le cadre d’un système existant. Ils doivent, in fine, s’intégrer en interaction avec d’autres projets, sur les infrastructures communes de l’entreprise et sans interrompre le service : c’est la notion d’usine logicielle. Estimation des projets de l’entreprise numérique s’intéresse particulièrement à l’analyse des coûts d’intégration. Un modèle original d’estimation de ces coûts est proposé assurant l’équilibrage des quatre grandeurs fondamentales : coût, qualité, fonctionnalité et délai. Cet ouvrage bénéficie des travaux effectués par le groupe de travail Intégration & Complexité de l’association CESAMES, en relation avec la chaire X-ParisTech, ce qui a permis de valider le modèle avec les industriels participants. Il présente en détail le modèle COCOMO et dresse les grandes lignes de la méthode de comptage par points de fonctions. Une étude de cas basée sur les systèmes C4ISTAR illustre l’utilisation de ces méthodes dans un contexte de systèmes réels de grande complexité.

Journal de Physique

Journal de Physique PDF Author:
Publisher:
ISBN:
Category : Fluids
Languages : en
Pages : 836

Get Book Here

Book Description


Human Aspects in Computer Integrated Manufacturing

Human Aspects in Computer Integrated Manufacturing PDF Author: G.J. Olling
Publisher: Elsevier
ISBN: 1483293351
Category : Technology & Engineering
Languages : en
Pages : 938

Get Book Here

Book Description
The papers in this volume reflect the current research and development of advanced manufacturing software. They may be categorized as follows: New Concepts towards CIM, Product Realization through Product/Process Modelling, Intelligent Management and Control of Manufacturing Activities, and Development of CIM Systems.

Algebraic Methods: Theory, Tools and Applications

Algebraic Methods: Theory, Tools and Applications PDF Author: Martin Wirsing
Publisher: Springer Science & Business Media
ISBN: 9783540516989
Category : Computers
Languages : en
Pages : 572

Get Book Here

Book Description