fritzsolms > Model,

bookmarks (hide)
display
all
bookmarks only
bookmarks per page
5
10
20
50
100
sort by
added at
title
RSS
BibTeX
XML

No matching posts.

⟨⟨
⟨
⟩
⟩⟩

publications (hide)8
display
all
publications only
publications per page
5
10
20
50
100
sort by
added at
title
author
publication date
entry type
help for advanced sorting...
RSS
BibTeX
RDF
more...

2Towards Formalizing UML Activity Diagrams in CSP
D. Xu, N. Philbert, Z. Liu, and W. Liu. Computer Science and Computational Technology, 2008. ISCSCT '08. International Symposium on, 2, page 450 --453. (December 2008)
12 years ago by @fritzsolms
show all tags
,
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)
copydeleteadd this publication to your clipboard
3Towards Model Transformation Generation By-Example
M. Wimmer, M. Strommer, H. Kargl, and G. Kramler. System Sciences, 2007. HICSS 2007. 40th Annual Hawaii International Conference on, page 285b --285b. (January 2007)
12 years ago by @fritzsolms
show all tags
,
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)
copydeleteadd this publication to your clipboard
3Towards formalizing UML state diagrams in CSP
M. Ng, and M. Butler. Software Engineering and Formal Methods, 2003.Proceedings. First International Conference on, page 138 -- 147. (September 2003)
12 years ago by @fritzsolms
show all tags
,
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)
copydeleteadd this publication to your clipboard
2Transformation from CIM to PIM Using Patterns and Archetypes
S. Kherraf, E. Lefebvre, and W. Suryn. Software Engineering, 2008. ASWEC 2008. 19th Australian Conference on, page 338 --346. (March 2008)
12 years ago by @fritzsolms
show all tags
,
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)
copydeleteadd this publication to your clipboard
1Towards a Formal Behavioral Semantics for UML Interactions
L. Dan, and L. Danning. Information Science and Engineering (ISISE), 2010 International Symposium on, page 213 --218. (December 2010)
12 years ago by @fritzsolms
show all tags
,
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)
copydeleteadd this publication to your clipboard
2QVT Based Model Transformation from Sequence Diagram to CSP
L. Dan. Engineering of Complex Computer Systems (ICECCS), 2010 15th IEEE International Conference on, page 349 --354. (March 2010)
12 years ago by @fritzsolms
show all tags
,
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)
copydeleteadd this publication to your clipboard
1A Meta-ontology for Architecture Description Languages and MDA Platforms
A. Adel, and S. Adel. Computational Intelligence for Modelling Control Automation, 2008 International Conference on, page 118 --123. (December 2008)
12 years ago by @fritzsolms
show all tags
(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)
copydeleteadd this publication to your clipboard

⟨⟨
⟨
1
⟩
⟩⟩

BibSonomy

bookmarks (hide)
display
all
bookmarks only
bookmarks per page
5
10
20
50
100
sort by
added at
title
RSS
BibTeX
XML

publications (hide)8
display
all
publications only
publications per page
5
10
20
50
100
sort by
added at
title
author
publication date
entry type
help for advanced sorting...
RSS
BibTeX
RDF
more...

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

browse

related tags

concepts

tags

bookmarks (hide) displayallbookmarks onlybookmarks per page5102050100 sort byadded attitle RSSBibTeXXML

publications (hide)8 displayallpublications onlypublications per page5102050100 sort byadded attitleauthorpublication dateentry typehelp for advanced sorting... RSSBibTeXRDFmore...

browse

related tags

tags

bookmarks (hide)
display
all
bookmarks only
bookmarks per page
5
10
20
50
100
sort by
added at
title
RSS
BibTeX
XML

publications (hide)8
display
all
publications only
publications per page
5
10
20
50
100
sort by
added at
title
author
publication date
entry type
help for advanced sorting...
RSS
BibTeX
RDF
more...