skip to content
TAPSOFT '95 : theory and practice of software development : 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995 : proceedings Preview this item
ClosePreview this item
Checking...

TAPSOFT '95 : theory and practice of software development : 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995 : proceedings

Author: Peter Mosses; M Nielsen; Michael I Schwartzbach
Publisher: Berlin ; New York : Springer-Verlag, ©1995.
Series: Lecture notes in computer science, 915.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Database:WorldCat
Summary:

Theoretical computer scientists and software engineers (researchers and practitioners) discuss how formal methods can usefully be applied in software development. These proceedings of the TAPSOFT '95  Read more...

Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Conference papers and proceedings
Congresses
Congrès
Material Type: Conference publication, Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Peter Mosses; M Nielsen; Michael I Schwartzbach
ISBN: 3540592938 9783540592938 0387592938 9780387592930
OCLC Number: 32391827
Description: xv, 810 pages : illustrations ; 24 cm.
Contents: A Decade of TAPSOFT: Aspects of Progress and Prospects in Theory and Practice of Software Development / H. Ehrig and B. Mahr --
Theory and Practice of Software Development --
Stages in a Debate / C. Floyd --
Rational Spaces and Set Constraints / D. Kozen --
Formal Methods and Social Context in Software Development / J. A. Goguen and Luqi --
Testing Can Be Formal, Too / M.-C. Gaudel --
Anatomy of the Pentium Bug / V. Pratt --
Rational Mechanics and Natural Mathematics / V. Pratt --
First-Order Logic on Finite Trees / A. Potthoff --
Decidability of Equivalence for Deterministic Synchronized Tree Automata / K. Salomaa --
The Equivalence Problem for Letter-to-Letter Bottom-up Tree Transducers is Solvable / Y. Andre and F. Bossut --
[pi]I: A Symmetric Calculus based on Internal Mobility / D. Sangiorgi --
Complete Inference Systems for Weak Bisimulation Equivalences in the [pi]-Calculus / H. Lin --
Reasoning about Higher-Order Processes / R. M. Amadio and M. Dam --
Confluence of Processes and Systems of Objects / X. Liu and D. Walker --
An Algebraic Approach to Temporal Logic / B. von Karger --
On Behavioural Abstraction and Behavioural Satisfaction in Higher-Order Logic / M. Hofmann and D. Sannella --
Assumption/Guarantee Specifications in Linear-Time Temporal Logic (Extended Abstract) / B. Jonsson and Y.-K. Tsay --
Fine Hierarchy of Regular [omega]-Languages / V. Selivanov --
Computing the Wadge Degree, the Lifschitz Degree, and the Rabin Index of a Regular Language of Infinite Words in Polynomial Time / T. Wilke and H. Yoo --
Semi-Trace Morphisms and Rational Transductions / P.-A. Wacrenier --
Nonfinite Axiomatizability of Shuffle Inequalities / S. L. Bloom and Z. Esik --
On the Category of Petri Net Computations / V. Sassone --
High Undecidability of Weak Bisimilarity for Petri Nets / P. Jancar --
Polynomial Algorithms for the Synthesis of Bounded Nets / E. Badouel, L. Bernardinello and Ph. Darondeau --
Semi-Completeness of Hierarchical and Super-Hierarchical Combinations of Term Rewriting Systems / M. R. K. Krishna Rao --
Lazy Narrowing: Strong Completeness and Eager Variable Elimination (Extended Abstract) / S. Okui, A. Middeldorp and T. Ida --
On the Expressive Power of Algebraic Graph Grammars with Application Conditions / A. Wagner --
Generated Models and the [omega]-Rule: The Nondeterministic Case / M. Walicki and S. Meldal --
CPO Models for a Class of GSOS Languages / L. Aceto and A. Ingolfsdottir --
Statecharts, Transition Structures and Transformations / A. Peron --
An Imperative Object Calculus / M. Abadi and L. Cardelli --
A Refinement of Import/Export Declarations in Modular Logic Programming and Its Semantics / I. Karali and C. Halatsis --
Strictness and Totality Analysis with Conjunction / K. L. Solberg --
Generic Techniques for Source-Level Debugging and Dynamic Program Slicing / F. Tip --
Reasoning with Executable Specifications / Y. Bertot and R. Fraer --
Calculating Software Generators from Solution Specifications / R. B. Kieburtz, F. Bellegarde, J. Bell, J. Hook, J. Lewis, D. Oliva, T. Sheard, L. Walton and T. Zhou --
Comparing Flow-Based Binding-Time Analyses / J. Palsberg --
Can you Trust your Data? / P. Orbaek --
Static and Dynamic Processor Allocation for Higher-Order Concurrent Languages / H. R. Nielson and F. Nielson --
Mechanized Inductive Proof of Properties of a Simple Code Optimizer / A. Geser --
Describing a Signal Analyzer in the Process Algebra PMC --
A Case Study / H. R. Andersen and M. Mendler --
A Gentle Introduction to Specification Engineering Using a Case Study in Telecommunications / S. Kleuker Precise Interprocedural Dataflow Analysis with Applications to Constant Propagation / M. Sagiv, T. Reps and S. Horwitz --
Formal Specification and Prototyping of a Program Specializer / S. Blazy and Ph. Facon --
Proving the Correctness of Recursion-Based Automatic Program Transformations / D. Sands --
Reactive System Specification and Refinement / K. Lano --
Measuring Concurrency of Regular Distributed Computations / C. Bareau, B. Caillaud, C. Jard and R. Thoraval --
Non-Speculative and Upward Invocation of Continuations in a Parallel Language / L. Moreau --
A Model Inference System for Generic Specification with Application to Code Sharing / D. Bert and C. Oriat --
Relations as Abstract Datatypes: An Institution to Specify Relations Between Algebras / H. Baumeister --
Performance-Oriented Formal Specifications --
the LotoTis Approach / I. Schieferdecker Signal: A Formal Design Environment for Real-Time Systems / EP-ATR Project --
The META-Frame: An Environment for Flexible Tool Management / B. Steffen, T. Margaria and A. Classen --
STeP: The Stanford Temporal Prover / Z. Manna, N. Bjorner, A. Browne, E. Chang, M. Colon, L. de Alfaro, H. Devarajan, A. Kapur, J. Lee, H. Sipma and T. Uribe --
The HOL-UNITY Verification System / F. Andersen, U. Binau, K. Nyblad, K. D. Petersen and J. S. Pettersson --
PLATO: A Tool to Assist Programming as Term Rewriting and Theorem Proving / A. J. Sampaio, A. M. Haeberer, C. T. Prates, C. D. Ururahy, M. F. Frias and N. C. Albuquerque --
LOFT: A Tool for Assisting Selection of Test Data Sets from Algebraic Specifications / B. Marre --
The SMoLCS ToolSet / E. Astesiano, G. Reggio and F. Morando --
The ASF+SDF Meta-Environment: Documentation Tools for Free! / M. G. J. van den Brand and E. Visser The B-Toolkit Demonstration / B-Core (UK) Ltd --
Object Oriented Semantics Directed Compiler Generation: A Prototype / L. C. C. Guedes, E. H. Haeusler and J. L. Rangel.
Series Title: Lecture notes in computer science, 915.
Other Titles: Theory and practice of software development
Responsibility: Peter D. Mosses, Mogens Nielsen, Michael I. Schwartzbach, eds.
More information:

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/32391827> # TAPSOFT '95 : theory and practice of software development : 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995 : proceedings
    a schema:CreativeWork, schema:Book ;
    library:oclcnum "32391827" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1104429989#Place/berlin> ; # Berlin
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/1104429989#Topic/programmatuurtechniek> ; # Programmatuurtechniek
    schema:about <http://experiment.worldcat.org/entity/work/data/1104429989#Topic/ateliers_de_genie_logiciel> ; # Ateliers de génie logiciel
    schema:about <http://experiment.worldcat.org/entity/work/data/1104429989#Topic/arbre> ; # arbre
    schema:about <http://experiment.worldcat.org/entity/work/data/1104429989#Topic/specification_formelle> ; # spécification formelle
    schema:about <http://experiment.worldcat.org/entity/work/data/1104429989#Topic/logiciels_developpement> ; # Logiciels--Développement
    schema:about <http://experiment.worldcat.org/entity/work/data/1104429989#Topic/developpement_logiciel> ; # développement logiciel
    schema:about <http://experiment.worldcat.org/entity/work/data/1104429989#Topic/genie_logiciel> ; # génie logiciel
    schema:about <http://experiment.worldcat.org/entity/work/data/1104429989#Topic/genie_logiciel_congres> ; # Génie logiciel--Congrès
    schema:about <http://experiment.worldcat.org/entity/work/data/1104429989#Topic/calcul_parallele> ; # calcul parallèle
    schema:about <http://experiment.worldcat.org/entity/work/data/1104429989#Topic/specification_algebrique> ; # spécification algébrique
    schema:about <http://experiment.worldcat.org/entity/work/data/1104429989#Topic/concurrence> ; # concurrence
    schema:about <http://experiment.worldcat.org/entity/work/data/1104429989#Topic/contrainte> ; # contrainte
    schema:about <http://experiment.worldcat.org/entity/work/data/1104429989#Topic/reecriture> ; # réécriture
    schema:about <http://experiment.worldcat.org/entity/work/data/1104429989#Topic/semantique> ; # sémantique
    schema:about <http://experiment.worldcat.org/entity/work/data/1104429989#Topic/automates_mathematiques_theorie_des> ; # Automates mathématiques, Théorie des
    schema:about <http://experiment.worldcat.org/entity/work/data/1104429989#Topic/langages_formels> ; # Langages formels
    schema:about <http://dewey.info/class/005.1/e20/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/1104429989#Topic/analyse_algorithme> ; # analyse algorithme
    schema:about <http://id.worldcat.org/fast/872537> ; # Computer software--Development
    schema:about <http://experiment.worldcat.org/entity/work/data/1104429989#Topic/logiciels_developpement_congres> ; # Logiciels--Développement--Congrès
    schema:about <http://experiment.worldcat.org/entity/work/data/1104429989#Topic/computer_software_development> ; # Computer software--Development
    schema:about <http://experiment.worldcat.org/entity/work/data/1104429989#Topic/systeme_concurrent> ; # système concurrent
    schema:about <http://experiment.worldcat.org/entity/work/data/1104429989#Topic/langage_formel> ; # langage formel
    schema:alternateName "Theory and practice of software development" ;
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://viaf.org/viaf/3819776> ; # Mogens Nielsen
    schema:contributor <http://experiment.worldcat.org/entity/work/data/1104429989#Meeting/fase_conference_1995_aarhus_denmark> ; # FASE (Conference) (1995 : Aarhus, Denmark)
    schema:contributor <http://experiment.worldcat.org/entity/work/data/1104429989#Meeting/colloquium_on_trees_in_algebra_and_programming_1995_aarhus_denmark> ; # Colloquium on Trees in Algebra and Programming (1995 : Aarhus, Denmark)
    schema:contributor <http://experiment.worldcat.org/entity/work/data/1104429989#Person/mosses_peter> ; # Peter Mosses
    schema:contributor <http://experiment.worldcat.org/entity/work/data/1104429989#Person/schwartzbach_michael_i> ; # Michael I. Schwartzbach
    schema:copyrightYear "1995" ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/1104429989#Meeting/international_joint_conference_on_theory_and_practice_of_software_development_6th_1995_aarhus_denmark> ; # International Joint Conference on Theory and Practice of Software Development (6th : 1995 : Aarhus, Denmark)
    schema:datePublished "1995" ;
    schema:description "-- Strictness and Totality Analysis with Conjunction / K. L. Solberg -- Generic Techniques for Source-Level Debugging and Dynamic Program Slicing / F. Tip -- Reasoning with Executable Specifications / Y. Bertot and R. Fraer -- Calculating Software Generators from Solution Specifications / R. B. Kieburtz, F. Bellegarde, J. Bell, J. Hook, J. Lewis, D. Oliva, T. Sheard, L. Walton and T. Zhou -- Comparing Flow-Based Binding-Time Analyses / J. Palsberg -- Can you Trust your Data? / P. Orbaek -- Static and Dynamic Processor Allocation for Higher-Order Concurrent Languages / H. R. Nielson and F. Nielson -- Mechanized Inductive Proof of Properties of a Simple Code Optimizer / A. Geser -- Describing a Signal Analyzer in the Process Algebra PMC -- A Case Study / H. R. Andersen and M. Mendler -- A Gentle Introduction to Specification Engineering Using a Case Study in Telecommunications / S. Kleuker"@en ;
    schema:description "Signal: A Formal Design Environment for Real-Time Systems / EP-ATR Project -- The META-Frame: An Environment for Flexible Tool Management / B. Steffen, T. Margaria and A. Classen -- STeP: The Stanford Temporal Prover / Z. Manna, N. Bjorner, A. Browne, E. Chang, M. Colon, L. de Alfaro, H. Devarajan, A. Kapur, J. Lee, H. Sipma and T. Uribe -- The HOL-UNITY Verification System / F. Andersen, U. Binau, K. Nyblad, K. D. Petersen and J. S. Pettersson -- PLATO: A Tool to Assist Programming as Term Rewriting and Theorem Proving / A. J. Sampaio, A. M. Haeberer, C. T. Prates, C. D. Ururahy, M. F. Frias and N. C. Albuquerque -- LOFT: A Tool for Assisting Selection of Test Data Sets from Algebraic Specifications / B. Marre -- The SMoLCS ToolSet / E. Astesiano, G. Reggio and F. Morando -- The ASF+SDF Meta-Environment: Documentation Tools for Free! / M. G. J. van den Brand and E. Visser"@en ;
    schema:description "-- Reasoning about Higher-Order Processes / R. M. Amadio and M. Dam -- Confluence of Processes and Systems of Objects / X. Liu and D. Walker -- An Algebraic Approach to Temporal Logic / B. von Karger -- On Behavioural Abstraction and Behavioural Satisfaction in Higher-Order Logic / M. Hofmann and D. Sannella -- Assumption/Guarantee Specifications in Linear-Time Temporal Logic (Extended Abstract) / B. Jonsson and Y.-K. Tsay -- Fine Hierarchy of Regular [omega]-Languages / V. Selivanov -- Computing the Wadge Degree, the Lifschitz Degree, and the Rabin Index of a Regular Language of Infinite Words in Polynomial Time / T. Wilke and H. Yoo -- Semi-Trace Morphisms and Rational Transductions / P.-A. Wacrenier -- Nonfinite Axiomatizability of Shuffle Inequalities / S. L. Bloom and Z. Esik -- On the Category of Petri Net Computations / V. Sassone -- High Undecidability of Weak Bisimilarity for Petri Nets / P. Jancar"@en ;
    schema:description "The B-Toolkit Demonstration / B-Core (UK) Ltd -- Object Oriented Semantics Directed Compiler Generation: A Prototype / L. C. C. Guedes, E. H. Haeusler and J. L. Rangel."@en ;
    schema:description "A Decade of TAPSOFT: Aspects of Progress and Prospects in Theory and Practice of Software Development / H. Ehrig and B. Mahr -- Theory and Practice of Software Development -- Stages in a Debate / C. Floyd -- Rational Spaces and Set Constraints / D. Kozen -- Formal Methods and Social Context in Software Development / J. A. Goguen and Luqi -- Testing Can Be Formal, Too / M.-C. Gaudel -- Anatomy of the Pentium Bug / V. Pratt -- Rational Mechanics and Natural Mathematics / V. Pratt -- First-Order Logic on Finite Trees / A. Potthoff -- Decidability of Equivalence for Deterministic Synchronized Tree Automata / K. Salomaa -- The Equivalence Problem for Letter-to-Letter Bottom-up Tree Transducers is Solvable / Y. Andre and F. Bossut -- [pi]I: A Symmetric Calculus based on Internal Mobility / D. Sangiorgi -- Complete Inference Systems for Weak Bisimulation Equivalences in the [pi]-Calculus / H. Lin"@en ;
    schema:description "Precise Interprocedural Dataflow Analysis with Applications to Constant Propagation / M. Sagiv, T. Reps and S. Horwitz -- Formal Specification and Prototyping of a Program Specializer / S. Blazy and Ph. Facon -- Proving the Correctness of Recursion-Based Automatic Program Transformations / D. Sands -- Reactive System Specification and Refinement / K. Lano -- Measuring Concurrency of Regular Distributed Computations / C. Bareau, B. Caillaud, C. Jard and R. Thoraval -- Non-Speculative and Upward Invocation of Continuations in a Parallel Language / L. Moreau -- A Model Inference System for Generic Specification with Application to Code Sharing / D. Bert and C. Oriat -- Relations as Abstract Datatypes: An Institution to Specify Relations Between Algebras / H. Baumeister -- Performance-Oriented Formal Specifications -- the LotoTis Approach / I. Schieferdecker"@en ;
    schema:description "-- Polynomial Algorithms for the Synthesis of Bounded Nets / E. Badouel, L. Bernardinello and Ph. Darondeau -- Semi-Completeness of Hierarchical and Super-Hierarchical Combinations of Term Rewriting Systems / M. R. K. Krishna Rao -- Lazy Narrowing: Strong Completeness and Eager Variable Elimination (Extended Abstract) / S. Okui, A. Middeldorp and T. Ida -- On the Expressive Power of Algebraic Graph Grammars with Application Conditions / A. Wagner -- Generated Models and the [omega]-Rule: The Nondeterministic Case / M. Walicki and S. Meldal -- CPO Models for a Class of GSOS Languages / L. Aceto and A. Ingolfsdottir -- Statecharts, Transition Structures and Transformations / A. Peron -- An Imperative Object Calculus / M. Abadi and L. Cardelli -- A Refinement of Import/Export Declarations in Modular Logic Programming and Its Semantics / I. Karali and C. Halatsis"@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/1104429989> ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:genre "Conference publication"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1104429989#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
    schema:name "TAPSOFT '95 : theory and practice of software development : 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995 : proceedings"@en ;
    schema:productID "32391827" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/32391827#PublicationEvent/berlin_new_york_springer_verlag_1995> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/1104429989#Agent/springer_verlag> ; # Springer-Verlag
    schema:url <http://springerlink.metapress.com/openurl.asp?genre=issue&issn=0302-9743&volume=915> ;
    schema:url <http://dx.doi.org/10.1007/3-540-59293-8> ;
    schema:url <http://www.gbv.de/dms/bowker/toc/9783540592938.pdf> ;
    schema:url <http://link.springer.com/10.1007/3-540-59293-8> ;
    schema:workExample <http://worldcat.org/isbn/9783540592938> ;
    schema:workExample <http://worldcat.org/isbn/9780387592930> ;
    umbel:isLike <http://d-nb.info/943930553> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/32391827> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
    schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/1104429989#Agent/springer_verlag> # Springer-Verlag
    a bgn:Agent ;
    schema:name "Springer-Verlag" ;
    .

<http://experiment.worldcat.org/entity/work/data/1104429989#Meeting/colloquium_on_trees_in_algebra_and_programming_1995_aarhus_denmark> # Colloquium on Trees in Algebra and Programming (1995 : Aarhus, Denmark)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/1104429989#Place/aarhus_denmark> ; # Aarhus, Denmark)
    schema:name "Colloquium on Trees in Algebra and Programming (1995 : Aarhus, Denmark)" ;
    .

<http://experiment.worldcat.org/entity/work/data/1104429989#Meeting/fase_conference_1995_aarhus_denmark> # FASE (Conference) (1995 : Aarhus, Denmark)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/1104429989#Place/aarhus_denmark> ; # Aarhus, Denmark)
    schema:name "FASE (Conference) (1995 : Aarhus, Denmark)" ;
    .

<http://experiment.worldcat.org/entity/work/data/1104429989#Meeting/international_joint_conference_on_theory_and_practice_of_software_development_6th_1995_aarhus_denmark> # International Joint Conference on Theory and Practice of Software Development (6th : 1995 : Aarhus, Denmark)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/1104429989#Place/aarhus_denmark> ; # Aarhus, Denmark)
    schema:name "International Joint Conference on Theory and Practice of Software Development (6th : 1995 : Aarhus, Denmark)" ;
    .

<http://experiment.worldcat.org/entity/work/data/1104429989#Person/mosses_peter> # Peter Mosses
    a schema:Person ;
    schema:familyName "Mosses" ;
    schema:givenName "Peter" ;
    schema:name "Peter Mosses" ;
    .

<http://experiment.worldcat.org/entity/work/data/1104429989#Person/schwartzbach_michael_i> # Michael I. Schwartzbach
    a schema:Person ;
    schema:familyName "Schwartzbach" ;
    schema:givenName "Michael I." ;
    schema:name "Michael I. Schwartzbach" ;
    .

<http://experiment.worldcat.org/entity/work/data/1104429989#Place/aarhus_denmark> # Aarhus, Denmark)
    a schema:Place ;
    schema:name "Aarhus, Denmark)" ;
    .

<http://experiment.worldcat.org/entity/work/data/1104429989#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/32391827> ; # TAPSOFT '95 : theory and practice of software development : 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995 : proceedings
    schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/1104429989#Topic/analyse_algorithme> # analyse algorithme
    a schema:Intangible ;
    schema:name "analyse algorithme"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1104429989#Topic/ateliers_de_genie_logiciel> # Ateliers de génie logiciel
    a schema:Intangible ;
    schema:name "Ateliers de génie logiciel"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/1104429989#Topic/automates_mathematiques_theorie_des> # Automates mathématiques, Théorie des
    a schema:Intangible ;
    schema:name "Automates mathématiques, Théorie des"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/1104429989#Topic/calcul_parallele> # calcul parallèle
    a schema:Intangible ;
    schema:name "calcul parallèle"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1104429989#Topic/developpement_logiciel> # développement logiciel
    a schema:Intangible ;
    schema:name "développement logiciel"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1104429989#Topic/genie_logiciel_congres> # Génie logiciel--Congrès
    a schema:Intangible ;
    schema:name "Génie logiciel--Congrès"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1104429989#Topic/logiciels_developpement> # Logiciels--Développement
    a schema:Intangible ;
    schema:name "Logiciels--Développement"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/1104429989#Topic/logiciels_developpement_congres> # Logiciels--Développement--Congrès
    a schema:Intangible ;
    schema:name "Logiciels--Développement--Congrès"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1104429989#Topic/programmatuurtechniek> # Programmatuurtechniek
    a schema:Intangible ;
    schema:name "Programmatuurtechniek"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1104429989#Topic/specification_algebrique> # spécification algébrique
    a schema:Intangible ;
    schema:name "spécification algébrique"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1104429989#Topic/specification_formelle> # spécification formelle
    a schema:Intangible ;
    schema:name "spécification formelle"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1104429989#Topic/systeme_concurrent> # système concurrent
    a schema:Intangible ;
    schema:name "système concurrent"@en ;
    .

<http://id.worldcat.org/fast/872537> # Computer software--Development
    a schema:Intangible ;
    schema:name "Computer software--Development"@en ;
    .

<http://link.springer.com/10.1007/3-540-59293-8>
    rdfs:comment "eBook available for UOIT via SpringerLink. Click link to access" ;
    .

<http://viaf.org/viaf/3819776> # Mogens Nielsen
    a schema:Person ;
    schema:birthDate "1949" ;
    schema:familyName "Nielsen" ;
    schema:givenName "Mogens" ;
    schema:givenName "M." ;
    schema:name "Mogens Nielsen" ;
    .

<http://worldcat.org/isbn/9780387592930>
    a schema:ProductModel ;
    schema:isbn "0387592938" ;
    schema:isbn "9780387592930" ;
    .

<http://worldcat.org/isbn/9783540592938>
    a schema:ProductModel ;
    schema:isbn "3540592938" ;
    schema:isbn "9783540592938" ;
    .

<http://www.worldcat.org/title/-/oclc/32391827>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/32391827> ; # TAPSOFT '95 : theory and practice of software development : 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995 : proceedings
    schema:dateModified "2017-05-11" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.