skip to content
Software technologies : applications and foundations : STAF 2016 Collocated workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna, Austria, July 4-8, 2016, revised selected papers Preview this item
ClosePreview this item
Checking...

Software technologies : applications and foundations : STAF 2016 Collocated workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna, Austria, July 4-8, 2016, revised selected papers

Author: Paolo Milazzo; Dániel Varró; Manuel Wimmer
Publisher: Cham, Switzerland : Springer, 2016.
Series: Lecture notes in computer science, 9946.; LNCS sublibrary., SL 2,, Programming and software engineering.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Database:WorldCat
Summary:
This book contains the thoroughly refereed technical papers presented in six workshops collocated with the International Conference on Software Technologies: Applications and Foundations, STAF 2016, held in Vienna, Austria, in July 2016. The six workshops whose papers are included in this volume are: DataMod, GCM, HOFM, MELO, SEMS, and VeryComp. The 33 full and 3 short papers presented were carefully reviewed and  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: Electronic books
Conference papers and proceedings
Congresses
Additional Physical Format: Printed edition:
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Paolo Milazzo; Dániel Varró; Manuel Wimmer
ISBN: 9783319502304 3319502301 3319502298 9783319502298
OCLC Number: 967283513
Description: 1 online resource.
Contents: Practical and foundational advances in software technology --
Formal foundations of software technology --
Testing and formal analysis --
Graph transformations and model transformations --
Model driven engineering, and tools.
Series Title: Lecture notes in computer science, 9946.; LNCS sublibrary., SL 2,, Programming and software engineering.
Responsibility: Paolo MIlazzo, Dániel Varró, Manuel Wimmer (eds.).

Abstract:

This book contains the thoroughly refereed technical papers presented in six workshops collocated with the International Conference on Software Technologies: Applications and Foundations, STAF 2016,  Read more...

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/967283513> # Software technologies : applications and foundations : STAF 2016 Collocated workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna, Austria, July 4-8, 2016, revised selected papers
    a schema:MediaObject, schema:CreativeWork, schema:Book ;
   library:oclcnum "967283513" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/sz> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/4008098739#Topic/information_systems_applications_incl_internet> ; # Information Systems Applications (incl. Internet)
   schema:about <http://experiment.worldcat.org/entity/work/data/4008098739#Topic/computer_science> ; # Computer Science
   schema:about <http://experiment.worldcat.org/entity/work/data/4008098739#Topic/computer_software> ; # Computer software
   schema:about <http://experiment.worldcat.org/entity/work/data/4008098739#Topic/artificial_intelligence_incl_robotics> ; # Artificial Intelligence (incl. Robotics)
   schema:about <http://dewey.info/class/005.1/e23/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/4008098739#Topic/mathematical_logic_and_formal_languages> ; # Mathematical Logic and Formal Languages
   schema:about <http://experiment.worldcat.org/entity/work/data/4008098739#Topic/software_engineering> ; # Software Engineering
   schema:about <http://experiment.worldcat.org/entity/work/data/4008098739#Topic/computer_communication_networks> ; # Computer Communication Networks
   schema:about <http://experiment.worldcat.org/entity/work/data/4008098739#Topic/logics_and_meanings_of_programs> ; # Logics and Meanings of Programs
   schema:bookFormat schema:EBook ;
   schema:contributor <http://experiment.worldcat.org/entity/work/data/4008098739#Meeting/gcm_workshop_7th_2016_vienna_austria> ; # GCM (Workshop) (7th : 2016 : Vienna, Austria),
   schema:contributor <http://experiment.worldcat.org/entity/work/data/4008098739#Meeting/melo_workshop_2nd_2016_vienna_austria> ; # MELO (Workshop) (2nd : 2016 : Vienna, Austria),
   schema:contributor <http://experiment.worldcat.org/entity/work/data/4008098739#Meeting/staf_federation_of_conferences_2016_vienna_austria> ; # STAF (Federation of conferences) (2016 : Vienna, Austria)
   schema:contributor <http://experiment.worldcat.org/entity/work/data/4008098739#Meeting/hofm_workshop_3rd_2016_vienna_austria> ; # HOFM (Workshop) (3rd : 2016 : Vienna, Austria),
   schema:contributor <http://experiment.worldcat.org/entity/work/data/4008098739#Meeting/verycomp_workshop_1st_2016_vienna_austria> ; # VeryComp (Workshop) (1st : 2016 : Vienna, Austria),
   schema:contributor <http://experiment.worldcat.org/entity/work/data/4008098739#Meeting/sems_workshop_3rd_2016_vienna_austria> ; # SEMS (Workshop) (3rd : 2016 : Vienna, Austria),
   schema:contributor <http://experiment.worldcat.org/entity/work/data/4008098739#Meeting/datamod_symposium_5th_2016_vienna_austria> ; # DataMod (Symposium) (5th : 2016 : Vienna, Austria),
   schema:datePublished "2016" ;
   schema:description "This book contains the thoroughly refereed technical papers presented in six workshops collocated with the International Conference on Software Technologies: Applications and Foundations, STAF 2016, held in Vienna, Austria, in July 2016. The six workshops whose papers are included in this volume are: DataMod, GCM, HOFM, MELO, SEMS, and VeryComp. The 33 full and 3 short papers presented were carefully reviewed and selected from 53 submissions. They focus on practical and foundational advances in software technology covering a wide range of aspects including formal foundations of software technology, testing and formal analysis, graph transformations and model transformations, model driven engineering, and tools."@en ;
   schema:description "Practical and foundational advances in software technology -- Formal foundations of software technology -- Testing and formal analysis -- Graph transformations and model transformations -- Model driven engineering, and tools."@en ;
   schema:editor <http://experiment.worldcat.org/entity/work/data/4008098739#Person/varro_daniel> ; # Dániel Varró
   schema:editor <http://experiment.worldcat.org/entity/work/data/4008098739#Person/milazzo_paolo> ; # Paolo Milazzo
   schema:editor <http://experiment.worldcat.org/entity/work/data/4008098739#Person/wimmer_manuel> ; # Manuel Wimmer
   schema:exampleOfWork <http://worldcat.org/entity/work/id/4008098739> ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:genre "Conference publication"@en ;
   schema:genre "Electronic books"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/4008098739#Series/lncs_sublibrary> ; # LNCS sublibrary.
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/4008098739#Series/lncs_sublibrary_sl_2_programming_and_software_engineering> ; # LNCS sublibrary. SL 2, Programming and software engineering
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/4008098739#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
   schema:isSimilarTo <http://worldcat.org/entity/work/data/4008098739#CreativeWork/> ;
   schema:name "Software technologies : applications and foundations : STAF 2016 Collocated workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna, Austria, July 4-8, 2016, revised selected papers"@en ;
   schema:productID "967283513" ;
   schema:url <http://link.springer.com/10.1007/978-3-319-50230-4> ;
   schema:url <https://proxy1.library.eiu.edu/login?url=http://link.springer.com/10.1007/978-3-319-50230-4> ;
   schema:url <https://grinnell.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-50230-4> ;
   schema:url <https://login.proxy.bib.uottawa.ca/login?url=http://link.springer.com/10.1007/978-3-319-50230-4> ;
   schema:url <http://link.springer.com/openurl?genre=book&isbn=978-3-319-50229-8> ;
   schema:url <https://login.libproxy.noctrl.edu/login?url=http://link.springer.com/10.1007/978-3-319-50230-4> ;
   schema:url <http://dx.doi.org/10.1007/978-3-319-50230-4> ;
   schema:url <http://er.llcc.edu:2048/login?url=http://link.springer.com/10.1007/978-3-319-50230-4> ;
   schema:url <http://proxy.artic.edu/login?url=http://link.springer.com/10.1007/978-3-319-50230-4> ;
   schema:url <http://sfx.carli.illinois.edu/sfxwhe/sfx_local?genre=book&sid=Voyager:WHE&sfx.ignore_date_threshold=1&svc.fulltext=yes&rft.isbn=978-3-319-50230-4> ;
   schema:url <https://login.proxy.lib.strath.ac.uk/login?url=http://link.springer.com/10.1007/978-3-319-50230-4> ;
   schema:workExample <http://worldcat.org/isbn/9783319502298> ;
   schema:workExample <http://dx.doi.org/10.1007/978-3-319-50230-4> ;
   schema:workExample <http://worldcat.org/isbn/9783319502304> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/967283513> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/4008098739#Meeting/datamod_symposium_5th_2016_vienna_austria> # DataMod (Symposium) (5th : 2016 : Vienna, Austria),
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/4008098739#Place/vienna_austria> ; # Vienna, Austria),
   schema:name "DataMod (Symposium) (5th : 2016 : Vienna, Austria)," ;
    .

<http://experiment.worldcat.org/entity/work/data/4008098739#Meeting/gcm_workshop_7th_2016_vienna_austria> # GCM (Workshop) (7th : 2016 : Vienna, Austria),
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/4008098739#Place/vienna_austria> ; # Vienna, Austria),
   schema:name "GCM (Workshop) (7th : 2016 : Vienna, Austria)," ;
    .

<http://experiment.worldcat.org/entity/work/data/4008098739#Meeting/hofm_workshop_3rd_2016_vienna_austria> # HOFM (Workshop) (3rd : 2016 : Vienna, Austria),
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/4008098739#Place/vienna_austria> ; # Vienna, Austria),
   schema:name "HOFM (Workshop) (3rd : 2016 : Vienna, Austria)," ;
    .

<http://experiment.worldcat.org/entity/work/data/4008098739#Meeting/melo_workshop_2nd_2016_vienna_austria> # MELO (Workshop) (2nd : 2016 : Vienna, Austria),
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/4008098739#Place/vienna_austria> ; # Vienna, Austria),
   schema:name "MELO (Workshop) (2nd : 2016 : Vienna, Austria)," ;
    .

<http://experiment.worldcat.org/entity/work/data/4008098739#Meeting/sems_workshop_3rd_2016_vienna_austria> # SEMS (Workshop) (3rd : 2016 : Vienna, Austria),
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/4008098739#Place/vienna_austria> ; # Vienna, Austria),
   schema:name "SEMS (Workshop) (3rd : 2016 : Vienna, Austria)," ;
    .

<http://experiment.worldcat.org/entity/work/data/4008098739#Meeting/staf_federation_of_conferences_2016_vienna_austria> # STAF (Federation of conferences) (2016 : Vienna, Austria)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/4008098739#Place/vienna_austria> ; # Vienna, Austria),
   schema:name "STAF (Federation of conferences) (2016 : Vienna, Austria)" ;
    .

<http://experiment.worldcat.org/entity/work/data/4008098739#Meeting/verycomp_workshop_1st_2016_vienna_austria> # VeryComp (Workshop) (1st : 2016 : Vienna, Austria),
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/4008098739#Place/vienna_austria> ; # Vienna, Austria),
   schema:name "VeryComp (Workshop) (1st : 2016 : Vienna, Austria)," ;
    .

<http://experiment.worldcat.org/entity/work/data/4008098739#Person/milazzo_paolo> # Paolo Milazzo
    a schema:Person ;
   schema:familyName "Milazzo" ;
   schema:givenName "Paolo" ;
   schema:name "Paolo Milazzo" ;
    .

<http://experiment.worldcat.org/entity/work/data/4008098739#Person/varro_daniel> # Dániel Varró
    a schema:Person ;
   schema:familyName "Varró" ;
   schema:givenName "Dániel" ;
   schema:name "Dániel Varró" ;
    .

<http://experiment.worldcat.org/entity/work/data/4008098739#Person/wimmer_manuel> # Manuel Wimmer
    a schema:Person ;
   schema:familyName "Wimmer" ;
   schema:givenName "Manuel" ;
   schema:name "Manuel Wimmer" ;
    .

<http://experiment.worldcat.org/entity/work/data/4008098739#Place/vienna_austria> # Vienna, Austria),
    a schema:Place ;
   schema:name "Vienna, Austria)," ;
   schema:name "Vienna, Austria)" ;
    .

<http://experiment.worldcat.org/entity/work/data/4008098739#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/967283513> ; # Software technologies : applications and foundations : STAF 2016 Collocated workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna, Austria, July 4-8, 2016, revised selected papers
   schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/4008098739#Series/lncs_sublibrary> # LNCS sublibrary.
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/967283513> ; # Software technologies : applications and foundations : STAF 2016 Collocated workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna, Austria, July 4-8, 2016, revised selected papers
   schema:name "LNCS sublibrary." ;
    .

<http://experiment.worldcat.org/entity/work/data/4008098739#Series/lncs_sublibrary_sl_2_programming_and_software_engineering> # LNCS sublibrary. SL 2, Programming and software engineering
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/967283513> ; # Software technologies : applications and foundations : STAF 2016 Collocated workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna, Austria, July 4-8, 2016, revised selected papers
   schema:name "LNCS sublibrary. SL 2, Programming and software engineering" ;
    .

<http://experiment.worldcat.org/entity/work/data/4008098739#Topic/artificial_intelligence_incl_robotics> # Artificial Intelligence (incl. Robotics)
    a schema:Intangible ;
   schema:name "Artificial Intelligence (incl. Robotics)"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/4008098739#Topic/computer_communication_networks> # Computer Communication Networks
    a schema:Intangible ;
   schema:name "Computer Communication Networks"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/4008098739#Topic/information_systems_applications_incl_internet> # Information Systems Applications (incl. Internet)
    a schema:Intangible ;
   schema:name "Information Systems Applications (incl. Internet)"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/4008098739#Topic/logics_and_meanings_of_programs> # Logics and Meanings of Programs
    a schema:Intangible ;
   schema:name "Logics and Meanings of Programs"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/4008098739#Topic/mathematical_logic_and_formal_languages> # Mathematical Logic and Formal Languages
    a schema:Intangible ;
   schema:name "Mathematical Logic and Formal Languages"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/4008098739#Topic/software_engineering> # Software Engineering
    a schema:Intangible ;
   schema:name "Software Engineering"@en ;
    .

<http://link.springer.com/10.1007/978-3-319-50230-4>
   rdfs:comment "from Springer" ;
   rdfs:comment "(Unlimited Concurrent Users)" ;
    .

<http://worldcat.org/entity/work/data/4008098739#CreativeWork/>
    a schema:CreativeWork ;
   schema:description "Printed edition:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/967283513> ; # Software technologies : applications and foundations : STAF 2016 Collocated workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna, Austria, July 4-8, 2016, revised selected papers
    .

<http://worldcat.org/isbn/9783319502298>
    a schema:ProductModel ;
   schema:isbn "3319502298" ;
   schema:isbn "9783319502298" ;
    .

<http://worldcat.org/isbn/9783319502304>
    a schema:ProductModel ;
   schema:isbn "3319502301" ;
   schema:isbn "9783319502304" ;
    .

<http://www.worldcat.org/title/-/oclc/967283513>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/967283513> ; # Software technologies : applications and foundations : STAF 2016 Collocated workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna, Austria, July 4-8, 2016, revised selected papers
   schema:dateModified "2017-09-02" ;
   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.