fritzsolms > formal 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...

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
2xSADL: an architecture description language to specify component-based systems
S. Zhang, and S. Goddard. International Conference on Information Technology: Coding and Computing, 2005. ITCC 2005, 2, page 443-- 448 Vol. 2. IEEE, (April 2005)
12 years ago by @fritzsolms
show all tags
Architecture
Architecture;
Communication
Component
Computer
Connectors;
Description
Finite
Language;
Logic;
Middleware;
Processes;
Protocols;
Software
State
aided
architecture
architecture-based
architecture;
behavior
component
component-based
computer
connector
control;
description
description;
design;
development
engineering;
environment;
formal
graphical
implementation;
interfaces;
language
languages;
message
middleware
mismatch;
object-oriented
programming;
software
specification
specification;
system
systems;
technology;
tool;
user
{3CoFramework};
{CASE}
{GUI-based}
{xADL};
{xSADL}
ArchitectureArchitecture;CommunicationComponentComputerConnectors;DescriptionFiniteLanguage;Logic;Middleware;Processes;Protocols;SoftwareStateaidedarchitecturearchitecture-basedarchitecture;behaviorcomponentcomponent-basedcomputerconnectorcontrol;descriptiondescription;design;developmentengineering;environment;formalgraphicalimplementation;interfaces;languagelanguages;messagemiddlewaremismatch;object-orientedprogramming;softwarespecificationspecification;systemsystems;technology;tool;user{3CoFramework};{CASE}{GUI-based}{xADL};{xSADL}
(0)
copydeleteadd this publication to your clipboard
1Verification of Cyberphysical Transportation Systems
A. Platzer. Intelligent Systems, IEEE, 24 (4): 10--13 (July 2009)
12 years ago by @fritzsolms
show all tags
air
aspects;
automated
car
computing;
control
control;
cyber
cyberphysical
debugging;
design;
engineering
field;
formal
highways;
hoc
intelligent
methods;
next-generation
physical
program
railway
railways;
road
software
system
systems;
technology
testing;
traffic
trafficad
transportation
verification;
airaspects;automatedcarcomputing;controlcontrol;cybercyberphysicaldebugging;design;engineeringfield;formalhighways;hocintelligentmethods;next-generationphysicalprogramrailwayrailways;roadsoftwaresystemsystems;technologytesting;traffictrafficadtransportationverification;
(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
1Design traceability
J. Dick. Software, IEEE, 22 (6): 14--16 (November 2005)
12 years ago by @fritzsolms
show all tags
analysis
code;
design
design;
development
engineering;
formal
information
requirements
software
source
specification;
system
systems
tools;
traceability
traceability;
verification;
analysiscode;designdesign;developmentengineering;formalinformationrequirementssoftwaresourcespecification;systemsystemstools;traceabilitytraceability;verification;
(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...

2General framework for the description of QoS in UML

2xSADL: an architecture description language to specify component-based systems

1Verification of Cyberphysical Transportation Systems

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

1Design traceability

1Model Based Requirements Specification and Validation for Component Architectures

1An experimental investigation of formality in UML-based development

browse

related tags

concepts

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

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