الموضوعات المستخلصة من بحثك.
الموضوعات المستخلصة من بحثك.
بدائل البحث:
development computing » development comparing, development conducting, development consulting
programs development » program development, programmes development, programs developmental
integration method » integration methods, iteration method, generation method
method programs » methods program, method progress, method programmed
https » http
development computing » development comparing, development conducting, development consulting
programs development » program development, programmes development, programs developmental
integration method » integration methods, iteration method, generation method
method programs » methods program, method progress, method programmed
https » http
1
منشور في 2005
جدول المحتويات:
“...: System Development -- Agile Formal Method Engineering -- An Automated Failure Mode and Effect Analysis...”احصل على النص الكامل
الكتروني
كتاب الكتروني
2
منشور في 2007
جدول المحتويات:
“... Development Process for Reasoning About the Reliability of Real-Time Systems -- Decomposing Integrated...”احصل على النص الكامل
الكتروني
كتاب الكتروني
3
منشور في 2010
جدول المحتويات:
“...-simulation in the Development of Dependable Embedded Systems -- Programming with Miracles -- An Event-B...”احصل على النص الكامل
الكتروني
كتاب الكتروني
4
منشور في 2014
جدول المحتويات:
“... Transport Systems -- Modeling UML Template Classes with FoCaLiZe -- Integrating Event-B Modelling...”احصل على النص الكامل
الكتروني
كتاب الكتروني
5
الموضوعات:
“...Mathematics of Computing. https://scigraph.springernature.com/ontologies/product-market-codes/I...”
احصل على النص الكامل
احصل على النص الكامل
الكتروني
كتاب الكتروني
6
الموضوعات:
“...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”
احصل على النص الكامل
احصل على النص الكامل
الكتروني
كتاب الكتروني
7
منشور في 2008
جدول المحتويات:
“... -- Exposing the Programming Process -- Apprentice-Based Learning Via Integrated Lectures and Assignments...”احصل على النص الكامل
الكتروني
كتاب الكتروني
8
الموضوعات:
“...Statistics and Computing/Statistics Programs. https://scigraph.springernature.com/ontologies...”
احصل على النص الكامل
احصل على النص الكامل
الكتروني
كتاب الكتروني
9
منشور في 2005
جدول المحتويات:
“... Metabolic Pathways Using Stochastic Logic Programs-Based Ensemble Methods -- Projective Brane Calculus...”احصل على النص الكامل
الكتروني
كتاب الكتروني
10
منشور في 2008
جدول المحتويات:
“... of Time-Constrained Portfolio Transactions -- Semidefinite Programming Approaches for Bounding Asian...”احصل على النص الكامل
الكتروني
كتاب الكتروني
11
منشور في 2005
جدول المحتويات:
“... Integration: Present and Future -- Surveying the Solitudes: An Investigation into the Relationships between...”احصل على النص الكامل
الكتروني
كتاب الكتروني
12
جدول المحتويات:
“... and locally optimal designs for Gaussian Universal Kriging -- Exploitation, integration and statistical...”
احصل على النص الكامل
احصل على النص الكامل
الكتروني
كتاب الكتروني
13
منشور في 2007
جدول المحتويات:
“... in Software Certification -- Security and Knowledge -- Integrating Formal Methods with System Management...”احصل على النص الكامل
الكتروني
كتاب الكتروني
14
منشور في 2012
جدول المحتويات:
“... attacks -- ving the Usability of Specification Languages and Methods for Annotation-based Verification...”احصل على النص الكامل
الكتروني
كتاب الكتروني
15
منشور في 2010
الموضوعات:
“...Programming languages (Electronic computers)....”احصل على النص الكامل
الكتروني
كتاب الكتروني
16
منشور في 2011
الموضوعات:
“...Programming languages (Electronic computers)....”احصل على النص الكامل
الكتروني
كتاب الكتروني
17
منشور في 2005
جدول المحتويات:
“... Method State Machines -- My Favorite Editor Anywhere -- Invited Paper -- Combining System Development...”احصل على النص الكامل
الكتروني
كتاب الكتروني
18
جدول المحتويات:
“...Basic Results -- Inversion Formulae and Practical Results -- The Method of Series Expansion...”
احصل على النص الكامل
احصل على النص الكامل
الكتروني
كتاب الكتروني
19
منشور في 2005
جدول المحتويات:
“...Keynote Talks -- Formal Aids for the Growth of Software Systems -- Formal Methods and Testing...”احصل على النص الكامل
الكتروني
كتاب الكتروني
20
منشور في 2005
جدول المحتويات:
“...Invited Talks -- Realising the Benefits of Formal Methods -- A Compositional Framework for Service...”احصل على النص الكامل
الكتروني
كتاب الكتروني