-
1دورية أكاديمية
المؤلفون: Zinovy Diskin, Tom Maibaum
المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 93, Iss Proc. ACCAT 2012, Pp 1-21 (2012)
مصطلحات موضوعية: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95
وصف الملف: electronic resource
-
2
المؤلفون: Carlos López Pombo, Pablo F. Castro, Nazareno Aguirre, Tom Maibaum
المصدر: Fundamenta Informaticae. 166:297-347
مصطلحات موضوعية: Algebra and Number Theory, Computational Theory and Mathematics, Computer science, medicine, Calculus, medicine.disease, Formal methods, Calculus (medicine), Satisfiability, Information Systems, Theoretical Computer Science
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::6649a099589231bf958b87050ad614cc
https://doi.org/10.3233/fi-2019-1804 -
3
المؤلفون: Alan Wassyng, Neeraj Kumar Singh, Tom Maibaum, Mark Lawford
المصدر: Journal of Software: Evolution and Process. 33
مصطلحات موضوعية: Development (topology), business.industry, Computer science, Code generation, Certification, Software engineering, business, Formal methods, Software, Verification and validation
-
4
المؤلفون: Valentin Cassano, Silviya Grigorova, Tom Maibaum
المصدر: Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems ISBN: 9789811550539
مصطلحات موضوعية: Structure (mathematical logic), Semantics (computer science), TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, Safety assurance, Safety engineering, Safety case, Notation, Epistemology, Logical calculus
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::2e1efe29aea0f876ba290a4940d10793
https://doi.org/10.1007/978-981-15-5054-6_11 -
5
المؤلفون: Apurva Kumar, Markus Roggenbach, Tom Maibaum, Stefan Gruner
المصدر: SpringerBriefs in Computer Science ISBN: 9783030446475
SpringerBriefs in Computer Scienceمصطلحات موضوعية: Engineering drawing, Computer science, Domain (software engineering)
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::cfcba30e23081f9b1bdc420310ab79e5
https://doi.org/10.1007/978-3-030-44648-2 -
6
المؤلفون: Apurva Kumar, Stefan Gruner, Markus Roggenbach, Tom Maibaum
المصدر: On the Construction of Engineering Handbooks ISBN: 9783030446475
مصطلحات موضوعية: Engineering, Work (electrical), business.industry, business, Formal methods, Bridge (interpersonal), Construction engineering, Domain (software engineering)
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::a5ef2b4fce30d51c595fa550948c00c0
https://doi.org/10.1007/978-3-030-44648-2_6 -
7
المؤلفون: Tom Maibaum, Apurva Kumar, Markus Roggenbach, Stefan Gruner
المصدر: On the Construction of Engineering Handbooks ISBN: 9783030446475
مصطلحات موضوعية: Theoretical computer science, General method, Computer science, Formal methods, Domain (software engineering)
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::2bf66218b3beebc6f5a3e8220506d895
https://doi.org/10.1007/978-3-030-44648-2_4 -
8
المؤلفون: Stefan Gruner, Apurva Kumar, Tom Maibaum, Markus Roggenbach
المصدر: On the Construction of Engineering Handbooks ISBN: 9783030446475
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::66b50ac7e8d451dea9fec6bee79816e8
https://doi.org/10.1007/978-3-030-44648-2_1 -
9
المؤلفون: Stefan Gruner, Apurva Kumar, Tom Maibaum, Markus Roggenbach
المصدر: On the Construction of Engineering Handbooks ISBN: 9783030446475
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::ea5eae2a1b57787a17a634ff7ac9124e
https://doi.org/10.1007/978-3-030-44648-2_2 -
10
المؤلفون: Tom Maibaum, Apurva Kumar, Stefan Gruner, Markus Roggenbach
المصدر: On the Construction of Engineering Handbooks ISBN: 9783030446475
مصطلحات موضوعية: Engineering, General method, business.industry, As is, ComputerApplications_COMPUTERSINOTHERSYSTEMS, business, Software engineering
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::64a0f1eaf602c838d6ff4b949b2abdc9
https://doi.org/10.1007/978-3-030-44648-2_3