fritzsolms > model,

Lesezeichen (verstecken)
Anzeige
alles
nur Lesezeichen
Lesezeichen pro Seite
5
10
20
50
100
sortieren nach
hinzugefügt am
Titel
RSS
BibTeX
XML

Keine Treffer.

⟨⟨
⟨
⟩
⟩⟩

Publikationen (verstecken)8
Anzeige
alles
nur Publikationen
Publikationen pro Seite
5
10
20
50
100
sortieren nach
hinzugefügt am
Titel
Autor
Erscheinungsdatum
Eintragstyp
Hilfe für erweiterte Sortierung...
RSS
BibTeX
RDF
mehr...

2Towards Formalizing UML Activity Diagrams in CSP
D. Xu, N. Philbert, Z. Liu, und W. Liu. Computer Science and Computational Technology, 2008. ISCSCT '08. International Symposium on, 2, Seite 450 --453. (Dezember 2008)
vor 12 Jahren von @fritzsolms
alle anzeigen
,
Language;
UML},
Unified},
activity,
analysis;
behavior,
checking;
communicating,
design,
diagnostics;
formal,
model,
modeling,
official,
processes;
program,
semantics;
sequential,
software,
specification;
specifications;
stage;
system
{FDR;
{analysis;
{diagrams;
,Language;UML},Unified},activity,analysis;behavior,checking;communicating,design,diagnostics;formal,model,modeling,official,processes;program,semantics;sequential,software,specification;specifications;stage;system{FDR;{analysis;{diagrams;
(0)
KopierenLöschenDiese Publikation zur Ablage hinzufügen
3Towards Model Transformation Generation By-Example
M. Wimmer, M. Strommer, H. Kargl, und G. Kramler. System Sciences, 2007. HICSS 2007. 40th Annual Hawaii International Conference on, Seite 285b --285b. (Januar 2007)
vor 12 Jahren von @fritzsolms
alle anzeigen
,
approach;
automatic,
by-example,
data,
engineering;
formal,
inter-model,
language,
language;
languages;
mappings;
model,
model-driven,
modeling,
programming,
programming;
rules;
semantics;
software,
specification,
specification;
structure;
structures;
tools;
transformation
,approach;automatic,by-example,data,engineering;formal,inter-model,language,language;languages;mappings;model,model-driven,modeling,programming,programming;rules;semantics;software,specification,specification;structure;structures;tools;transformation
(0)
KopierenLöschenDiese Publikation zur Ablage hinzufügen
3Towards formalizing UML state diagrams in CSP
M. Ng, und M. Butler. Software Engineering and Formal Methods, 2003.Proceedings. First International Conference on, Seite 138 -- 147. (September 2003)
vor 12 Jahren von @fritzsolms
alle anzeigen
,
Model,
analysis;
and,
behaviour,
checker;
communicating,
decision,
diagrams;
formal,
formalisation;
language,
language;
languages;
modelling,
processes;
programming,
semantics;
sequential,
specification,
specification;
state,
structural,
systems,
unified,
verification
{UML},
,Model,analysis;and,behaviour,checker;communicating,decision,diagrams;formal,formalisation;language,language;languages;modelling,processes;programming,semantics;sequential,specification,specification;state,structural,systems,unified,verification{UML},
(0)
KopierenLöschenDiese Publikation zur Ablage hinzufügen
2Transformation from CIM to PIM Using Patterns and Archetypes
S. Kherraf, E. Lefebvre, und W. Suryn. Software Engineering, 2008. ASWEC 2008. 19th Australian Conference on, Seite 338 --346. (März 2008)
vor 12 Jahren von @fritzsolms
alle anzeigen
,
Language;
Unified},
activity,
analysts;
archetypes;
architects;
architecture;
business,
components;
computation-independent,
data,
diagrams;
formal,
inter-enterprise,
model,
model-driven,
model;
modeling,
models;
platform-independent,
platform-specific,
processes;
processing;
requirement,
software,
specification;
system,
transformations;
{UML2}
{requirements;
,Language;Unified},activity,analysts;archetypes;architects;architecture;business,components;computation-independent,data,diagrams;formal,inter-enterprise,model,model-driven,model;modeling,models;platform-independent,platform-specific,processes;processing;requirement,software,specification;system,transformations;{UML2}{requirements;
(0)
KopierenLöschenDiese Publikation zur Ablage hinzufügen
1Towards a Formal Behavioral Semantics for UML Interactions
L. Dan, und L. Danning. Information Science and Engineering (ISISE), 2010 International Symposium on, Seite 213 --218. (Dezember 2010)
vor 12 Jahren von @fritzsolms
alle anzeigen
,
Language;
QVT},
UML},
Unified},
and,
automated,
behavioral,
code,
communicating,
development;
diagrams;
driven,
engineering;
formal,
generation;
interaction,
machine-readable,
model,
modeling,
processes;
reasoning;
semantics;
sequential
software,
{2.0;
{CSP-based},
{Relations;
{execution;
{semantics;
,Language;QVT},UML},Unified},and,automated,behavioral,code,communicating,development;diagrams;driven,engineering;formal,generation;interaction,machine-readable,model,modeling,processes;reasoning;semantics;sequentialsoftware,{2.0;{CSP-based},{Relations;{execution;{semantics;
(0)
KopierenLöschenDiese Publikation zur Ablage hinzufügen
2QVT Based Model Transformation from Sequence Diagram to CSP
L. Dan. Engineering of Complex Computer Systems (ICECCS), 2010 15th IEEE International Conference on, Seite 349 --354. (März 2010)
vor 12 Jahren von @fritzsolms
alle anzeigen
,
Language;
Model,
QVT},
Software,
UML},
Unified},
XMI},
XSLT},
based,
communicating,
development,
driven,
engineering;
formal,
graphical,
model,
modeling,
paradigm;
processes;
query-view-transformation,
rule-based,
sequence,
sequential,
software
style,
templates;
verification;
{CASE},
{MOF;
{diagrams;
{engine;
{file;
{syntax;
{tool;
{transformation;
,Language;Model,QVT},Software,UML},Unified},XMI},XSLT},based,communicating,development,driven,engineering;formal,graphical,model,modeling,paradigm;processes;query-view-transformation,rule-based,sequence,sequential,softwarestyle,templates;verification;{CASE},{MOF;{diagrams;{engine;{file;{syntax;{tool;{transformation;
(0)
KopierenLöschenDiese Publikation zur Ablage hinzufügen
1A Meta-ontology for Architecture Description Languages and MDA Platforms
A. Adel, und S. Adel. Computational Intelligence for Modelling Control Automation, 2008 International Conference on, Seite 118 --123. (Dezember 2008)
vor 12 Jahren von @fritzsolms
alle anzeigen
(artificial,
,
OntoArch;
architecture;
architecture}
description,
driven,
engineering;
heterogeneous,
implementation,
intelligence);
languages;
mda,
meta-ontology;
model,
ontologies,
ontology,
platforms;
software,
{platforms;
(artificial,,OntoArch;architecture;architecture}description,driven,engineering;heterogeneous,implementation,intelligence);languages;mda,meta-ontology;model,ontologies,ontology,platforms;software,{platforms;
(0)
KopierenLöschenDiese Publikation zur Ablage hinzufügen

⟨⟨
⟨
1
⟩
⟩⟩

BibSonomy

Lesezeichen (verstecken)
Anzeige
alles
nur Lesezeichen
Lesezeichen pro Seite
5
10
20
50
100
sortieren nach
hinzugefügt am
Titel
RSS
BibTeX
XML

Publikationen (verstecken)8
Anzeige
alles
nur Publikationen
Publikationen pro Seite
5
10
20
50
100
sortieren nach
hinzugefügt am
Titel
Autor
Erscheinungsdatum
Eintragstyp
Hilfe für erweiterte Sortierung...
RSS
BibTeX
RDF
mehr...

2Towards Formalizing UML Activity Diagrams in CSP

3Towards Model Transformation Generation By-Example

3Towards formalizing UML state diagrams in CSP

2Transformation from CIM to PIM Using Patterns and Archetypes

1Towards a Formal Behavioral Semantics for UML Interactions

2QVT Based Model Transformation from Sequence Diagram to CSP

1A Meta-ontology for Architecture Description Languages and MDA Platforms

Stöbern

Verwandte Tags

Konzepte

Tags

Lesezeichen (verstecken) Anzeigeallesnur LesezeichenLesezeichen pro Seite5102050100 sortieren nachhinzugefügt amTitel RSSBibTeXXML

Publikationen (verstecken)8 Anzeigeallesnur PublikationenPublikationen pro Seite5102050100 sortieren nachhinzugefügt amTitelAutorErscheinungsdatumEintragstypHilfe für erweiterte Sortierung... RSSBibTeXRDFmehr...

Stöbern

Verwandte Tags

Tags

Lesezeichen (verstecken)
Anzeige
alles
nur Lesezeichen
Lesezeichen pro Seite
5
10
20
50
100
sortieren nach
hinzugefügt am
Titel
RSS
BibTeX
XML

Publikationen (verstecken)8
Anzeige
alles
nur Publikationen
Publikationen pro Seite
5
10
20
50
100
sortieren nach
hinzugefügt am
Titel
Autor
Erscheinungsdatum
Eintragstyp
Hilfe für erweiterte Sortierung...
RSS
BibTeX
RDF
mehr...