Formal Foundations of Reuse and Domain Engineering

EISBN:9783642042119
PISBN:9783642042102
出版社:Springer Berlin Heidelberg
出版类型:Proceedings
出版时间:2009
作者:Stephen H. Edwards,Gregory Kulczycki
主题词:Software Engineering,Programming Techniques,Programming Languages,Compilers,Interpreters,Software Engineering/Programming and Operating Systems,Models and Principles
语种:英语
所属数据库:SpringerLink电子图书
相关推荐

Formal Foundations for Software Engineering Methods

  • 作者:Heinrich Hußmann
  • EISBN:9783540696100
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1997

Formal Foundations for Software Engineering Methods

  • 作者:Heinrich Hußmann
  • EISBN:9783540696100
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1997

Domain Engineering

  • 作者:Iris Reinhartz-Berger,Arnon Sturm,Tony Clark,Sholom Cohen,Jorn Bettin
  • EISBN:9783642366543
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2013

Domain Decomposition Methods in Science and Engineering

  • 作者:Timothy J. Barth,Michael Griebel,David E. Keyes,Risto M. Nieminen,Dirk Roose,Tamar Schlick,Ralf Kornhuber,Ronald Hoppe,Jacques Périaux,Olivier Pironneau,Olof Widlund,Jinchao Xu
  • EISBN:9783540268253
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2005

Reuse in Emerging Software Engineering Practices

  • 作者:Sihem Ben Sassi,Stéphane Ducasse,Hafedh Mili
  • EISBN:9783030646943
  • 出版社:Springer International Publishing
  • 出版时间:2020

Formal Methods: Foundations and Applications

  • 作者:Tiago Massoni,Mohammad Reza Mousavi
  • EISBN:9783030030445
  • 出版社:Springer International Publishing
  • 出版时间:2018