Top results
high-level views in object-oriented systems using formal concept analysis inauguraldissertation der philosophisch-naturwissenschaftlichen fakultät der universität bern…
semi formal model for document oriented databases daniel coupal universia.com 1 agenda 1.why having a model? 2.modeling steps 3.capturing the model 4.tools 2 why having a…
lecture542-2.pdfformal methods in agentformal methods in agent--oriented oriented software engineeringsoftware engineering haiping xu and sol m. shatz computer science department
formal modelling and analysis of socio-technical systems christian w probst technical university of denmark inria, rennes, june 10, 2016 2 virtual (malware) physical (damage…
hypertext a case study of formal object-oriented software development andreas rüping forschungszentrum informatik fzi bereich programmstrukturen haid-und-neu-straße 10-14…
modelling small programs modelling large programs modelling application frameworks modelling design patterns object-oriented modelling in lepus3 and class-z * lecture notes…
data modelling: a business-oriented approach to entity-relationship modelling tweedaagse workshop met alec sharp met alec sharp • profiteer van de kennis en ervaring van…
slide 1 agent-oriented software engineering and tropos agent-oriented software engineering early requirements and i* modeling with i* formal tropos analyzing formal tropos…
towards structurally realistic models: pattern-oriented modelling volker grimm, ufz umweltforschungszentrum leipzig-halle sektion Ãkosystemanalyse contents âphilosophiesâ…
modelling method extension for service-oriented business process managementdissertation (dr.-ing.) sebastian stein kiel dezember 2008 1. gutachter: prof. dr. andreas speck
object-oriented modelling course tu delft - part 1introduction to the dynamic modelling of introduction to the dynamic modelling of thermo-fluid systems using modelicathermo-fluid
troposlight copyconceptual modelling csc2507 agent-oriented software engineeringagent-oriented software engineering early requirements and i*early requirements and i* modeling
itp, madrid, spain [email protected] [email protected] abstract this document is the result of the experience acquired creating a tool for gas turbines performance
untitleddepartment of engineering management and systems engineering, old dominion university, norfolk, va, usa. e-mail: [email protected] abstract. it has been understood
object oriented modelling and simulation of hydropower plants with run-of-river schemeobject oriented modelling and simulation of hydropower plants with run-of-river scheme:
uwaterloo latex thesis templatein fulfillment of the master of applied science waterloo, ontario, canada, 2015 c© halit zengin 2015 i hereby declare that i am the sole
formal modelling of technical processes and technical process synthesisformal modelling of technical processes and technical process synthesis tino stankovica*, mario štorgaa,
"formal modelling and analysis of dynamic reconfiguration of dependable systems"dependable systems anirban bhattacharyya a thesis submitted in partial fulfilment
mark c. w. van rossum 21st february 2005 comment:version with answers preface this course of ten lectures is designed for students in the first year of their cognitive science
[email protected]) l. john old (school of computing, napier university, edinburgh, uk [email protected]) abstract: this paper provides guidelines and examples for visualising