tag :: modeling language system

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

1Modelling & Designing Land Record Information System Using Unified Modelling Language
H. Kanwalvir Singh Dhindsa. International Journal of Advanced Computer Science and Applications(IJACSA), (2011)
11 years ago by @thesaiorg
show all tags
(UML),
Language
Modeling
UML
Unified
development
modelling,information
process,
software
system
tools.,
(UML),LanguageModelingUMLUnifieddevelopmentmodelling,informationprocess,softwaresystemtools.,
(0)
copydeleteadd this publication to your clipboard
2General framework for the description of QoS in UML
M. de Miguel. Sixth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, 2003, page 61--68. IEEE, (May 2003)
12 years ago by @fritzsolms
show all tags
Delay;
Jitter;
Object
Pattern
QoS
Quality
Real
Telecommunications;
Unified
description;
distributed
fault
formal
language
languages;
management;
methods;
modeling
modeling;
object
object-oriented
of
oriented
quality
recognition;
service;
specification
specification;
system
systems;
time
tolerance;
uml;
Delay;Jitter;ObjectPatternQoSQualityRealTelecommunications;Unifieddescription;distributedfaultformallanguagelanguages;management;methods;modelingmodeling;objectobject-orientedoforientedqualityrecognition;service;specificationspecification;systemsystems;timetolerance;uml;
(0)
copydeleteadd this publication to your clipboard
2Model Checking UML Activity Diagrams in FDR
D. Xu, H. Miao, and N. Philbert. Computer and Information Science, 2009. ICIS 2009. Eighth IEEE/ACIS International Conference on, page 1035 -1040. (June 2009)
12 years ago by @fritzsolms
show all tags
2.0
AD
CSPM
Language;behavior
Language;communicating
Modeling
about
activity
analysis;
analysis;model
behavior
checking;object-oriented
communicating
diagnostics;programming
diagram;UML
industrial
language
machine;Unified
machines;formal
model
model-checker;Hoare
modeling;operational
process;UML
processes;finite
programming;program
programs;software
reasoning;UML
semantics;de-facto
semantics;formal
semantics;reasoning
semantics;software
sequential
software
specification;FDR
specification;UML
specification;object-oriented
standard;formal
state
system
tool;Unified
tools;systems
verification;UML
2.0ADCSPMLanguage;behaviorLanguage;communicatingModelingaboutactivityanalysis;analysis;modelbehaviorchecking;object-orientedcommunicatingdiagnostics;programmingdiagram;UMLindustriallanguagemachine;Unifiedmachines;formalmodelmodel-checker;Hoaremodeling;operationalprocess;UMLprocesses;finiteprogramming;programprograms;softwarereasoning;UMLsemantics;de-factosemantics;formalsemantics;reasoningsemantics;softwaresequentialsoftwarespecification;FDRspecification;UMLspecification;object-orientedstandard;formalstatesystemtool;Unifiedtools;systemsverification;UML
(0)
copydeleteadd this publication to your clipboard
2Model Driven Development with non-functional aspects
L. Zhu, and Y. Liu. ICSE Workshop on Aspect-Oriented Requirements Engineering and Architecture Design, 2009. EA '09, page 49--54. IEEE, (May 2009)
12 years ago by @fritzsolms
show all tags
Architecture
Architecture;
Australia;
Computer
Context
Model
Natural
Programming;
Software
Unified
about
analysis;
architecture;
aspect
code
compilers;
compositional
cycle;
description
development
development;
diagnostics;
driven
framework;
generation;
language
languages;
life
modeling
modeling;
nonfunctional
program
programs;
reasoning
science;
software
system
systems;
ArchitectureArchitecture;Australia;ComputerContextModelNaturalProgramming;SoftwareUnifiedaboutanalysis;architecture;aspectcodecompilers;compositionalcycle;descriptiondevelopmentdevelopment;diagnostics;drivenframework;generation;languagelanguages;lifemodelingmodeling;nonfunctionalprogramprograms;reasoningscience;softwaresystemsystems;
(0)
copydeleteadd this publication to your clipboard
2Extended Architecture Analysis Description Language for Software Product Line Approach in Embedded Systems
Y. Oh, D. Lee, S. Kang, and J. Lee. 5th IEEE/ACM International Conference on Formal Methods and Models for Codesign, 2007. MEMOCODE 2007, page 87--88. IEEE, (June 2007)
12 years ago by @fritzsolms
show all tags
Architecture
Architecture;
Automotive
Communication
Computer
Connectors;
Embedded
Information
Software
Unified
analysis
analysis;
architecture
architecture;
automotive
derivation;
description
development;
domain;
engineering;
extended
formal
industry
language
language;
languages;
line
model;
modeling
orthogonal
product
requirement
reusability;
software
software;
specification
specification;
standard
standards;
system
system;
systems;
variability
ArchitectureArchitecture;AutomotiveCommunicationComputerConnectors;EmbeddedInformationSoftwareUnifiedanalysisanalysis;architecturearchitecture;automotivederivation;descriptiondevelopment;domain;engineering;extendedformalindustrylanguagelanguage;languages;linemodel;modelingorthogonalproductrequirementreusability;softwaresoftware;specificationspecification;standardstandards;systemsystem;systems;variability
(0)
copydeleteadd this publication to your clipboard
1Model Based Requirements Specification and Validation for Component Architectures
I. Cardei, M. Fonoage, and R. Shankar. Systems Conference, 2008 2nd Annual IEEE, page 1--8. (April 2008)
12 years ago by @fritzsolms
show all tags
(artificial
Language
Modeling
Prolog;
Unified
architectures;
automation;
based
component
component-based
cycle;
design
development
development;
diagrams;
driven
formal
functional
intelligence);
knowledge
language;
model
object-oriented
of
ontologies
ontology-based
programming;
quality
representation;
requirements
requirements;
ruled-based
service;
specification;
structure
system
system;
systems
systems;
validation;
{SysML}
{UML/SysML}
{XMI}
{analysisOWL};
(artificialLanguageModelingProlog;Unifiedarchitectures;automation;basedcomponentcomponent-basedcycle;designdevelopmentdevelopment;diagrams;drivenformalfunctionalintelligence);knowledgelanguage;modelobject-orientedofontologiesontology-basedprogramming;qualityrepresentation;requirementsrequirements;ruled-basedservice;specification;structuresystemsystem;systemssystems;validation;{SysML}{UML/SysML}{XMI}{analysisOWL};
(0)
copydeleteadd this publication to your clipboard
1An experimental investigation of formality in UML-based development
L. Briand, Y. Labiche, M. Penta, and H. Yan-Bondoc. Software Engineering, IEEE Transactions on, 31 (10): 833--849 (October 2005)
12 years ago by @fritzsolms
show all tags
Language
Modeling
Unified
analysis
condition;
constraint
development;
formal
functionality;
guard
handling;
language;
languages;
logic;
model;
natural
object
object-oriented
programming
specification;
statechart
system
verification;
{UML-based}
{UML}
LanguageModelingUnifiedanalysiscondition;constraintdevelopment;formalfunctionality;guardhandling;language;languages;logic;model;naturalobjectobject-orientedprogrammingspecification;statechartsystemverification;{UML-based}{UML}
(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)7
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...

1Modelling & Designing Land Record Information System Using Unified Modelling Language

2General framework for the description of QoS in UML

2Model Checking UML Activity Diagrams in FDR

2Model Driven Development with non-functional aspects

2Extended Architecture Analysis Description Language for Software Product Line Approach in Embedded Systems

1Model Based Requirements Specification and Validation for Component Architectures

1An experimental investigation of formality in UML-based development

browse

related tags

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

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

browse

related 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)7
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...