fritzsolms > Model, software,

закладки (спрятать)
показать
всё
только закладки
закладки на страницу
5
10
20
50
100
RSS
BibTeX
XML

Нет подходящих.

&lang;&lang;
⟨
&rang;
⟩⟩

публикации (спрятать)7
показать
всё
только публикации
публикации на страницу
5
10
20
50
100
расширенный...
RSS
BibTeX
RDF
дальше...

2Towards Formalizing UML Activity Diagrams in CSP
D. Xu, N. Philbert, Z. Liu, и W. Liu. Computer Science and Computational Technology, 2008. ISCSCT '08. International Symposium on, 2, стр. 450 --453. (декабря 2008)
12 лет назад , @fritzsolms
,
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)
копироватьудалитьдобавить публикацию в буфер
3Towards Model Transformation Generation By-Example
M. Wimmer, M. Strommer, H. Kargl, и G. Kramler. System Sciences, 2007. HICSS 2007. 40th Annual Hawaii International Conference on, стр. 285b --285b. (января 2007)
12 лет назад , @fritzsolms
,
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)
копироватьудалитьдобавить публикацию в буфер
2Transformation from CIM to PIM Using Patterns and Archetypes
S. Kherraf, E. Lefebvre, и W. Suryn. Software Engineering, 2008. ASWEC 2008. 19th Australian Conference on, стр. 338 --346. (марта 2008)
12 лет назад , @fritzsolms
,
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)
копироватьудалитьдобавить публикацию в буфер
1Towards a Formal Behavioral Semantics for UML Interactions
L. Dan, и L. Danning. Information Science and Engineering (ISISE), 2010 International Symposium on, стр. 213 --218. (декабря 2010)
12 лет назад , @fritzsolms
,
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)
копироватьудалитьдобавить публикацию в буфер
2QVT Based Model Transformation from Sequence Diagram to CSP
L. Dan. Engineering of Complex Computer Systems (ICECCS), 2010 15th IEEE International Conference on, стр. 349 --354. (марта 2010)
12 лет назад , @fritzsolms
,
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)
копироватьудалитьдобавить публикацию в буфер
1A Meta-ontology for Architecture Description Languages and MDA Platforms
A. Adel, и S. Adel. Computational Intelligence for Modelling Control Automation, 2008 International Conference on, стр. 118 --123. (декабря 2008)
12 лет назад , @fritzsolms
(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)
копироватьудалитьдобавить публикацию в буфер

&lang;&lang;
⟨
1
&rang;
⟩⟩

BibSonomy

закладки (спрятать)
показать
всё
только закладки
закладки на страницу
5
10
20
50
100
RSS
BibTeX
XML

публикации (спрятать)7
показать
всё
только публикации
публикации на страницу
5
10
20
50
100
расширенный...
RSS
BibTeX
RDF
дальше...

2Towards Formalizing UML Activity Diagrams in CSP

3Towards Model Transformation Generation By-Example

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

просмотр

сходные по теме тэги

концепции

тэги

закладки (спрятать) показатьвсётолько закладкизакладки на страницу5102050100 RSSBibTeXXML

публикации (спрятать)7 показатьвсётолько публикациипубликации на страницу5102050100 расширенный... RSSBibTeXRDFдальше...

просмотр

сходные по теме тэги

тэги

закладки (спрятать)
показать
всё
только закладки
закладки на страницу
5
10
20
50
100
RSS
BibTeX
XML

публикации (спрятать)7
показать
всё
только публикации
публикации на страницу
5
10
20
50
100
расширенный...
RSS
BibTeX
RDF
дальше...