• Fri frakt över 249 kr
  • •
  • Snabba leveranser
  • •
  • Billiga böcker
Kundservice

Du är på sajten för privatpersoner.

Företag, bibliotek eller offentlig verksamhet?

Du handlar på classic.bokus.com, där alla dina funktioner finns intakta.
Till classic.bokus.com
Bokus logotyp. Gå till startsidan.
  • Erbjudanden
  • Nyheter
  • Student
  • Topplistor
  • Barn & ungdom
  • Bokus Play
  • E-böcker
  • Pocketböcker
  • Spel & pussel

Upp till 20% på populära nyheter →

Sidfot

Mina sidor

    Hjälp

    • Kundservice
    • Vanliga frågor och svar
    • Frakt och leverans
    • Retur vid ångerrätt
    • Reklamera vara
    • Betalning
    • Köpvillkor
    • Allmänna villkor
    • Information om webbplatsens tillgänglighet

    Om Bokus

    • Om oss
    • Pressrum
    • För studenter
    • För företag
    • För bibliotek och offentlig verksamhet
    • För leverantörer
    • Hållbarhet

    Populärt

    • Aktuella erbjudanden
    • Presentkort
    • Studentlitteratur
    • Nya böcker
    • Topplistor
    • Signerade böcker
    • Engelska böcker

    Inspiration

    • Boktips
    • BookTok
    • Populära bokserier
    • Barnbokskaraktärer
    • Populära författare

    Mina sidor

      Hjälp

      • Kundservice
      • Vanliga frågor och svar
      • Frakt och leverans
      • Retur vid ångerrätt
      • Reklamera vara
      • Betalning
      • Köpvillkor
      • Allmänna villkor
      • Information om webbplatsens tillgänglighet

      Om Bokus

      • Om oss
      • Pressrum
      • För studenter
      • För företag
      • För bibliotek och offentlig verksamhet
      • För leverantörer
      • Hållbarhet

      Populärt

      • Aktuella erbjudanden
      • Presentkort
      • Studentlitteratur
      • Nya böcker
      • Topplistor
      • Signerade böcker
      • Engelska böcker

      Inspiration

      • Boktips
      • BookTok
      • Populära bokserier
      • Barnbokskaraktärer
      • Populära författare
      Logotyp för Bokus
      Följ oss på Facebook (extern länk)Följ oss på Instagram (extern länk)Följ oss på YouTube (extern länk)Följ oss på TikTok (extern länk)
      bokus @ CookiesAnpassa cookiesIntegritetspolicyKöpvillkor
      Till Citymail hemsida (extern länk)Till Budbee hemsida (extern länk)Till Postnord hemsida (extern länk)Till Schenker hemsida (extern länk)Till Early Bird hemsida (extern länk)Till Walleys hemsida (extern länk)
      1. Data och IT
      2. Programmeringsböcker
      3. Programvaruutveckling

      ESEC '87

      1st European Software Engineering Conference Strasbourg, France, September 9-11, 1987. Proceedings

      AvHoward K. Nichols,Dan Simpson

      Häftad, Engelska, 1987

      Del i serien Lecture Notes in Computer Science

      566 kr

      Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

      Beskrivning

      This volume contains the proceedings of the First European Software Engineering Conference, held at Strasbourg on September 9-11, 1987. The purpose of ESEC 87 was to provide a European forum for the interchange of ideas, and presentations of the current state of research and development in software engineering. The conference had over 400 participants, and papers were presented from all over Europe, Japan and North America. The book brings together the latest information on software engineering. Not only are working systems described but the latest research topics are also covered. The book will be of interest to all computer professionals as a rapid means of obtaining the state-of-the-art in the subject. The content will be of interest to practitioners and researchers alike. The papers are grouped into topics for easy reference and the whole of software engineering is covered. In particular the book contains much information on the important new topics of support environments. The reader will not only gain a knowledge of the subject but will also find which organisations and institutes are working in particular areas. The reader will gain both industrial and academic perspectives on the subject.

      Produktinformation

      • Utgivningsdatum:1987-12-09
      • Mått:155 x 235 x 23 mm
      • Vikt:633 g
      • Format:Häftad
      • Språk:Engelska
      • Serie:Lecture Notes in Computer Science
      • Antal sidor:404
      • Upplaga:1987
      • Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
      • ISBN:9783540187127

      Utforska kategorier

      • Programvaruutveckling inom Data och IT
      • Programmeringsböcker inom Data och IT

      Innehållsförteckning

      • SADL : Un environnement de développement de logiciel pour la specification, la conception et la programmation / SADL : A software development environment for software specification, design and programming.- PantaPM: an integrated software development environment / PantaPM: Système intégré de production de logiciel.- Development of a programming environment for Setl.- Configuration management in an open environment / Gestion de configurations dans un environnement ouvert.- Software management constraints and action triggering in the adele program database / Contraintes de Gestion des Logiciels et Declenchement D'Actions dans la Base de Programme Adele.- Enhancing configuration facilities in software development: A logic approach.- Delta technique and string-to-string correction.- ASDL — An object-oriented specification language for syntax-directed environments.- A hybrid interpreter in a software development environment / Un interprétateur hybride dans un environnement de programmation.- Software design automation in an IPSE / Automation de la Conception du Logiciel dans un Environnement Intégré.- Knowledge-based editors for directed graphs.- A user interface design tool. / Un outil pour la production d'interfaces d'utilisateur.- Interaction models and the principled design of interactive systems.- The eclipse two-tier database interface / L'Interface de Base de Données à deux Niveaux dans la projet Eclipse.- Ten15: an abstract machine for portable environments.- Using data flow specifications & interactive editing in the operating system user interface.- Formalising restructuring operators in a specification process / Definition de Transformations de Structures dans le Processus de Construction D'une Specification.- Formal specifications, prototyping andintegration tests / Spécifications formelles, prototypage et tests d'intégration.- On the specification of real-time systems using logic programming.- A property-based method for selecting among multiple implementations of modules / Une méthode basée sur la stipulation de qualités pour choisir parmi divers réalisations de modules.- Softbus — An approach to Software Engineering for distributed real-time long-lifetime spacecraft data management systems / Softbus — Une facon d'aborder le genie logiciel pour les systemes informatique de satellite, temps-reel, distribues, a longue duree de vie.- Analyzing software Reuse at the project and module design levels.- Eiffel: Object-oriented design for software engineering.- The dependability approach to critical computing systems.- Automated testing techniques for real-time embedded software.- TRICS: A testing tool for C / TRICS: Un outil de test pour C.- Experience with FORTRAN VERIFIER.- Specif-X: Un outil de génie logiciel / Specif-X: A tool for CASE.- ProMod at the age of 5 / ProMod apres 5 ans.- Formal specification of graphical notations and graphical software tools / Specification Formelle des Notations Graphiques et Outils Logiciels Graphiques.- High level interpretation of execution traces of Ada tasks / Interpretation de Haut Niveau des Traces d'Execution des Taches d'Ada.- A software development environment for Ada.- An execution environment for the formal definition of Ada.- Automatic program synthesis from data structures / Synthese Automatique de Programme A Partir des Structures de Donnees.- A set of tools supporting the software design based on SDL / Une connexion des outils pour le développement du logiciel avec SDL.- Translation between pragmatic software development methods / Traduction parmi desméthodes pragmatiques de développement du logiciel.- The impact of exception handling on labour division, safety, and error diagnostics in an industrial software engineering environment.- Requirements analysis for a database administration support environment.- Fortune — A documentation support system for Software Engineers / Fortune — Un Système de Documentation pour Ingénieurs Informaticiens.- Strengths and weaknesses of Program Verification Systems / Forces et faiblesses des systèmes de vérification de programmes.
      Hoppa över listan

      Du kanske också är intresserad av

      Joseph Pungur - Theology Interpreted, Inbunden

      Theology Interpreted

      Joseph Pungur

      Inbunden, 1987

      627 kr

      Wolfgang Ebeling - Monodromy Groups of Isolated Singularities of Complete Intersections, Häftad
      Del 1293

      Monodromy Groups of Isolated Singularities of Complete Intersections

      Wolfgang Ebeling

      Häftad, 1987

      278 kr

      Lothar Budach, Rais G. Bukharajev, Oleg B. Lupanov - Fundamentals of Computation Theory, Häftad

      Fundamentals of Computation Theory

      Lothar Budach, Rais G. Bukharajev, Oleg B. Lupanov

      Häftad, 1987

      549 kr

      Dan Simpson - Totally Cultured, Häftad

      Totally Cultured

      Dan Simpson

      Häftad, 2019

      295 kr

      Andreas Albrecht, Hermann Jung, Kurt Mehlhorn - Parallel Algorithms and Architectures, Häftad

      Parallel Algorithms and Architectures

      Andreas Albrecht, Hermann Jung, Kurt Mehlhorn

      Häftad, 1987

      342 kr

      Colette Moeglin, Marie-France Vignéras, Jean-Loup Waldspurger - Correspondances de Howe sur un corps p-adique, Häftad
      Del 1291

      Correspondances de Howe sur un corps p-adique

      Colette Moeglin, Marie-France Vignéras, Jean-Loup Waldspurger

      Häftad, 1987

      311 kr

      Tung X. Bui - Co-oP, Häftad

      Co-oP

      Tung X. Bui

      Häftad, 1987

      566 kr

      Pierre Lelong, Pierre Dolbeault, Henri Skoda - Séminaire d'Analyse P. Lelong - P. Dolbeault - H. Skoda, Häftad
      Del 1295

      Séminaire d'Analyse P. Lelong - P. Dolbeault - H. Skoda

      Pierre Lelong, Pierre Dolbeault, Henri Skoda

      Häftad, 1987

      386 kr

      Charles Lattmann - Ethik und Unternehmensführung, Häftad

      Ethik und Unternehmensführung

      Charles Lattmann

      Häftad, 1987

      581 kr

      David R. Webb, Carl W. Pierce, Stanley Cohen - Molecular Basis of Lymphokine Action, Inbunden

      Molecular Basis of Lymphokine Action

      David R. Webb, Carl W. Pierce, Stanley Cohen

      Inbunden, 1987

      2 247 kr