Book icon with persian name of Pubnito
  • Store
  • Library
  • Your Cart


    Total Items:0

    View Cart

    Fundamental Approaches to Software Engineering

    Fundamental Approaches to Software Engineering

    Reiner Hähnle(editor)Wil van der Aalst(editor)

    22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

    Book Format

    Free

    Reviews

    Rating Snapshot

    Select a row below to filter reviews.

    0

    0

    0

    0

    0

    0

    Overall

    Average Customer Ratings

    Review for this Book

    Share your thoughts with other readers

    More Information

    Description of Fundamental Approaches to Software Engineering

    22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

    Additional Information

    Vendor

    Publication

    Publish Date

    2019 Apr 11

    Authors
    Reiner Hähnle(editor)Wil van der Aalst(editor)

    ISBN

    978-3-030-16722-6

    About the authors

    Reiner Hähnle(editor)
    Reiner Hähnle(editor)

    I am a professor at the Computer Science Department of TU Darmstadt.    

      Reiner Hähnle(editor)
      Wil van der Aalst(editor)
      Wil van der Aalst(editor)

      Prof.dr.ir. Wil van der Aalst is a full professor at RWTH Aachen University leading the Process and Data Science (PADS) group. He is also part-time affiliated with the Technische Universiteit Eindhoven (TU/e). Until December 2017, he was the scientific director of the Data Science Center Eindhoven (DSC/e) and led the Architecture of Information Systems group at TU/e. Since 2003, he holds a part-time position at Queensland University of Technology (QUT). Currently, he is also a distinguished fellow at Fondazione Bruno Kessler (FBK) in Trento and a member of the Board of Governors of Tilburg University.

      Wil van der Aalst(editor)

      Tags

      formal logicmodel checkingmodel-driven developmentprogram compilersprogramming languagesrequirements engineeringsemanticssoftware architectureSoftware Engineeringsoftware evaluationsoftware evolutionsoftware system modelsspecificationstheorem-proving

      Table of content

      Recommended Books

      Based on the books you like and read

      logo

      English

      Powered by PUBNiTO | © 2024 Notion Wave Inc.