formal semantics - Globe Thesis

Font Size: a A A

Keyword [formal semantics] Result: 1 - 20 \| Page: 1 of 3
1.	Formal Semantics & Analysis On Wireless Networks From Quality Perspective
2.	Study On Formal Description Of Software Architecture
3.	Research Of Testing Method Based On UML Statecharts
4.	Modeling And Analyzing Web Transactions
5.	Research On Formal Architectural Semantics And Transformational Consistency Supporting Model Driven Development
6.	Formal Semantics Of Framed Temporal Logic Programming Language MSVL
7.	Research On Key Techniques Of Incremental Software Product Line
8.	The Study On Formal Semantics Of Dynamic UML Diagrams
9.	Research On Realtime-task-oriented Autonomic Service Cooperation Model, Formal Semantics And Its Validation
10.	Component Assembly Based On The Formal Semantics And Evolution Of The Study
11.	Semantic Model Of Uml Models
12.	Formal Semantics, Algorithm Evaluation Of Logical Process Paradigm And Their Application In Spatial Stochastic Simulation
13.	Some Applications And Formal Semantics Of DNA Computing
14.	A Formal Semantic Study Of The Work Flow Based On Activity Graph Model
15.	Research On The Software Architecture Description Combining Visual Methods And Formal Methods
16.	Event-based Structural Operational Semantics Of Verilog
17.	Semantics Description Of UML2.0 Sequence Diagrams Using The Temporal Logical Language XYZ/E
18.	Research Of Test Generation Based On UML Statecharts
19.	Modeling And Application Of The Embedded Real-time Software Based On UML And Temporal Logic
20.	Study On Formalization Of Ontology Evolution With Pi Calculus
<<First <Prev Next> Last>> Jump to