tag :: modeling language 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)9
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...

1A new approach of designing Multi-Agent Systems
M. Sara Maalal. International Journal of Advanced Computer Science and Applications(IJACSA), (2011)
vor 11 Jahren von @thesaiorg
alle anzeigen
Agent
Modeling;
Driven
(AML).
Architecture
Multi-agents
Diagrams;
Systems
Models;
Modeling
(MDA);
agents;
Unified
design;
(MAS);
Analysis;
Architecture;
Model
(AUML);
Language
Software
AgentModeling;Driven(AML).ArchitectureMulti-agentsDiagrams;SystemsModels;Modeling(MDA);agents;Unifieddesign;(MAS);Analysis;Architecture;Model(AUML);LanguageSoftware
KopierenLöschenDiese Publikation zur Ablage hinzufügen
2Model Checking UML Activity Diagrams in FDR
D. Xu, H. Miao, und N. Philbert. Computer and Information Science, 2009. ICIS 2009. Eighth IEEE/ACIS International Conference on, Seite 1035 -1040. (Juni 2009)
vor 12 Jahren von @fritzsolms
alle anzeigen
checking;object-oriented
AD
machines;formal
communicating
diagnostics;programming
Language;behavior
verification;UML
system
CSPM
industrial
2.0
specification;UML
machine;Unified
semantics;software
tools;systems
Language;communicating
processes;finite
process;UML
specification;object-oriented
semantics;reasoning
activity
software
language
programs;software
sequential
analysis;
about
model-checker;Hoare
Modeling
semantics;de-facto
tool;Unified
modeling;operational
diagram;UML
semantics;formal
analysis;model
state
model
reasoning;UML
specification;FDR
programming;program
standard;formal
behavior
checking;object-orientedADmachines;formalcommunicatingdiagnostics;programmingLanguage;behaviorverification;UMLsystemCSPMindustrial2.0specification;UMLmachine;Unifiedsemantics;softwaretools;systemsLanguage;communicatingprocesses;finiteprocess;UMLspecification;object-orientedsemantics;reasoningactivitysoftwarelanguageprograms;softwaresequentialanalysis;aboutmodel-checker;HoareModelingsemantics;de-factotool;Unifiedmodeling;operationaldiagram;UMLsemantics;formalanalysis;modelstatemodelreasoning;UMLspecification;FDRprogramming;programstandard;formalbehavior
KopierenLöschenDiese Publikation zur Ablage hinzufügen
2Model Driven Development with non-functional aspects
L. Zhu, und Y. Liu. ICSE Workshop on Aspect-Oriented Requirements Engineering and Architecture Design, 2009. EA '09, Seite 49--54. IEEE, (Mai 2009)
vor 12 Jahren von @fritzsolms
alle anzeigen
Context
Australia;
development
Architecture
programs;
Unified
modeling;
system
compositional
Architecture;
Model
diagnostics;
Software
compilers;
generation;
driven
code
modeling
reasoning
languages;
software
language
development;
architecture;
analysis;
about
science;
life
program
framework;
Natural
description
Programming;
cycle;
nonfunctional
aspect
Computer
systems;
ContextAustralia;developmentArchitectureprograms;Unifiedmodeling;systemcompositionalArchitecture;Modeldiagnostics;Softwarecompilers;generation;drivencodemodelingreasoninglanguages;softwarelanguagedevelopment;architecture;analysis;aboutscience;lifeprogramframework;NaturaldescriptionProgramming;cycle;nonfunctionalaspectComputersystems;
KopierenLöschenDiese Publikation zur Ablage hinzufügen
1Model Based Requirements Specification and Validation for Component Architectures
I. Cardei, M. Fonoage, und R. Shankar. Systems Conference, 2008 2nd Annual IEEE, Seite 1--8. (April 2008)
vor 12 Jahren von @fritzsolms
alle anzeigen
based
validation;
development
ruled-based
(artificial
programming;
{XMI}
architectures;
quality
Unified
structure
diagrams;
formal
system
component
{SysML}
ontology-based
requirements
automation;
driven
functional
development;
representation;
requirements;
object-oriented
specification;
Prolog;
Modeling
component-based
service;
{analysisOWL};
systems
cycle;
design
of
system;
Language
intelligence);
model
knowledge
language;
systems;
{UML/SysML}
ontologies
basedvalidation;developmentruled-based(artificialprogramming;{XMI}architectures;qualityUnifiedstructurediagrams;formalsystemcomponent{SysML}ontology-basedrequirementsautomation;drivenfunctionaldevelopment;representation;requirements;object-orientedspecification;Prolog;Modelingcomponent-basedservice;{analysisOWL};systemscycle;designofsystem;Languageintelligence);modelknowledgelanguage;systems;{UML/SysML}ontologies
KopierenLöschenDiese Publikation zur Ablage hinzufügen
5How Much Language Is Enough? Theoretical and Practical Use of the Business Process Modeling Notation
M. zur Muehlen, und J. Recker. Advanced Information Systems Engineering, Volume 5074 von Lecture Notes in Computer Science, Springer Berlin Heidelberg, (2008)
vor 11 Jahren von @porta
alle anzeigen
bpmn
modeling
process
notation
language
business
model
restriction
bpmnmodelingprocessnotationlanguagebusinessmodelrestriction
KopierenLöschenDiese Publikation zur Ablage hinzufügen
3Managing Model Quality in UML-Based Software Development
{. Lange, und {. Chaudron. Software Technology and Engineering Practice, 2005. 13th IEEE International Workshop on, Seite 7--16. (2005)
vor 12 Jahren von @fritzsolms
alle anzeigen
software
development;
improvement;
specification;
Modeling
quality
management;
Unified
formal
{qualityUML-based}
Language
model
quality;
softwaredevelopment;improvement;specification;Modelingqualitymanagement;Unifiedformal{qualityUML-based}Languagemodelquality;
KopierenLöschenDiese Publikation zur Ablage hinzufügen
1USIXML: A User Interface Description Language Supporting Multiple Levels of Independence.
Q. Limbourg, J. Vanderdonckt, B. Michotte, L. Bouillon, und M. Florins. ICWE Workshops, Seite 325--338. (2004)
vor 11 Jahren von @porta
alle anzeigen
modeling
language
usixml
model
user
interface
description
modelinglanguageusixmlmodeluserinterfacedescription
KopierenLöschenDiese Publikation zur Ablage hinzufügen
3A general framework for formalizing UML with formal languages
{. McUmber, und {. Cheng. Software Engineering, 2001. ICSE 2001. Proceedings of the 23rd International Conference on, Seite 433--442. (Mai 2001)
vor 12 Jahren von @fritzsolms
alle anzeigen
languages
specification
abstract
homomorphic
checking;
automated
Unified
modeling;
rigorous
formal
models;
industrial
specifications;
meta
representations;
mapping;
{UML};
case
languages;
study;
analysis;
object-oriented
specification;
Modeling
semantics;
Language
model
methods;
embedded
systems;
languagesspecificationabstracthomomorphicchecking;automatedUnifiedmodeling;rigorousformalmodels;industrialspecifications;metarepresentations;mapping;{UML};caselanguages;study;analysis;object-orientedspecification;Modelingsemantics;Languagemodelmethods;embeddedsystems;
KopierenLöschenDiese Publikation zur Ablage hinzufügen
2CUIML: A language for generating multimodal human-computer interfaces
C. Sandor, und T. Reicher. In Proceedings of the European UIML conference, (2001)
vor 11 Jahren von @porta
alle anzeigen
modeling
computer
language
interaction
model
human
user
multimodal
interface
modelingcomputerlanguageinteractionmodelhumanusermultimodalinterface
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)9
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...

1A new approach of designing Multi-Agent Systems

2Model Checking UML Activity Diagrams in FDR

2Model Driven Development with non-functional aspects

1Model Based Requirements Specification and Validation for Component Architectures

5How Much Language Is Enough? Theoretical and Practical Use of the Business Process Modeling Notation

3Managing Model Quality in UML-Based Software Development

1USIXML: A User Interface Description Language Supporting Multiple Levels of Independence.

3A general framework for formalizing UML with formal languages

2CUIML: A language for generating multimodal human-computer interfaces

Stöbern

Verwandte Tags

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

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

Stöbern

Verwandte 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)9
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...