الموضوعات المستخلصة من بحثك.
الموضوعات المستخلصة من بحثك.
بدائل البحث:
programming formalization » programming formulation, programming formulations, programming visualization
formalization https » organization https, globalization https, visualization https
evolution https » evaluation https, pollution https, emotion https
https function » its function, sites function, ups function
programming formalization » programming formulation, programming formulations, programming visualization
formalization https » organization https, globalization https, visualization https
evolution https » evaluation https, pollution https, emotion https
https function » its function, sites function, ups function
1
منشور في 2013
جدول المحتويات:
“... Functional Formalizations – A Type-Theoretical Case Study in PVS -- Functional Semantics -- Why Functional...”احصل على النص الكامل
الكتروني
كتاب الكتروني
2
منشور في 2010
الموضوعات:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”احصل على النص الكامل
الكتروني
كتاب الكتروني
3
منشور في 2013
جدول المحتويات:
“...Formal models for software components and their interaction -- Formal aspects of services, service...”احصل على النص الكامل
الكتروني
كتاب الكتروني
4
منشور في 2012
الموضوعات:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”احصل على النص الكامل
الكتروني
كتاب الكتروني
5
منشور في 2010
جدول المحتويات:
“... -- Self-adaptation and Evolution by Learning -- Overview of Roadmapping by EternalS -- Formal Methods...”احصل على النص الكامل
الكتروني
كتاب الكتروني
6
منشور في 2010
جدول المحتويات:
“... -- Formal Languages and Methods for Designing and Verifying Complex Embedded Systems -- Thematic Track...”احصل على النص الكامل
الكتروني
كتاب الكتروني
7
منشور في 2014
جدول المحتويات:
“... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”احصل على النص الكامل
الكتروني
كتاب الكتروني
8
Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR...
منشور في 2006
جدول المحتويات:
“... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”احصل على النص الكامل
الكتروني
كتاب الكتروني
9
منشور في 2007
جدول المحتويات:
“...Invited Papers -- Refactoring Using Type Constraints -- Programming Language Design and Analysis...”احصل على النص الكامل
الكتروني
كتاب الكتروني
10
منشور في 2008
جدول المحتويات:
“... Properties from Knowledge Based Programs -- Detecting Code Evolution in Programming Learning -- Revising...”احصل على النص الكامل
الكتروني
كتاب الكتروني
11
منشور في 2008
جدول المحتويات:
“... Partitioning for Term Recognition -- An Ontology Formalization of Relation Type Hierarchy in Conceptual...”احصل على النص الكامل
الكتروني
كتاب الكتروني
12
منشور في 2008
جدول المحتويات:
“... by Nmatrix–Metric Semantics -- A Propositional Dynamic Logic for CCS Programs -- Towards Ontology Evolution...”احصل على النص الكامل
الكتروني
كتاب الكتروني
13
منشور في 2006
جدول المحتويات:
“...W1 – OCL -- Tool Support for OCL and Related Formalisms – Needs and Trends -- Lessons Learned from...”احصل على النص الكامل
الكتروني
كتاب الكتروني
14
منشور في 2007
جدول المحتويات:
“... -- An Approach to Software Evolution Based on Semantic Change -- A Simulation-Oriented Formalization for a...”احصل على النص الكامل
الكتروني
كتاب الكتروني
15
منشور في 2013
جدول المحتويات:
“... -- The Program Is the Model: Enabling Transformations @run.time -- A Framework for Bidirectional Model...”احصل على النص الكامل
الكتروني
كتاب الكتروني
16
منشور في 2007
جدول المحتويات:
“... to Dynamic Systems Co-evolution -- What’s in a Service? -- Full Research Papers -- Pattern-Based Evolution...”احصل على النص الكامل
الكتروني
كتاب الكتروني
17
منشور في 2006
جدول المحتويات:
“... into OO Systems -- Programming Languages and Retrieval -- Reconciling Subtyping and Code Reuse in Object...”احصل على النص الكامل
الكتروني
كتاب الكتروني
18
منشور في 2010
جدول المحتويات:
“... Systems -- Program Logics for Sequential Higher-Order Control -- Modular Schedulability Analysis...”احصل على النص الكامل
الكتروني
كتاب الكتروني
19
منشور في 2010
جدول المحتويات:
“... for Imprecise Linear Filtering -- Peakedness and Generalized Entropy for Continuous Density Functions...”احصل على النص الكامل
الكتروني
كتاب الكتروني
20
منشور في 2005
جدول المحتويات:
“... Properties and Related Languages -- Evolution and Observation: A Non-standard Way to Accept Formal Languages...”احصل على النص الكامل
الكتروني
كتاب الكتروني