fritzsolms > formal

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

3A general framework for formalizing UML with formal languages
{. McUmber, and {. Cheng. Software Engineering, 2001. ICSE 2001. Proceedings of the 23rd International Conference on, page 433--442. (May 2001)
12 years ago by @fritzsolms
show all tags
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;
copydeleteadd this publication to your clipboard
1A syntactic theory of software architecture
T. Dean, and J. Cordy. IEEE Transactions on Software Engineering, 21 (4): 302--313 (April 1995)
12 years ago by @fritzsolms
show all tags
Connectors;
connections;
engineering;
technology;
nodes;
syntactic
structure;
diagrams;
formal
typed
Councils;
abstraction;
Taxonomy;
Architecture;
diagrammatic
theory;
Software
Pattern
matching;
theory
Set
subsystem;
languages;
software
architecture;
science;
Information
type
Computer
syntax;
extensible
language;
architecture
Connectors;connections;engineering;technology;nodes;syntacticstructure;diagrams;formaltypedCouncils;abstraction;Taxonomy;Architecture;diagrammatictheory;SoftwarePatternmatching;theorySetsubsystem;languages;softwarearchitecture;science;InformationtypeComputersyntax;extensiblelanguage;architecture
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
handling;
natural
analysis
{UML}
{UML-based}
Unified
formal
system
model;
condition;
constraint
object
languages;
development;
guard
object-oriented
specification;
logic;
verification;
Modeling
statechart
functionality;
Language
language;
programming
handling;naturalanalysis{UML}{UML-based}Unifiedformalsystemmodel;condition;constraintobjectlanguages;development;guardobject-orientedspecification;logic;verification;Modelingstatechartfunctionality;Languagelanguage;programming
copydeleteadd this publication to your clipboard
1Assessing the impact of coupling on the understandability and modifiability of OCL expressions within UML/OCL combined models
L. Reynoso, M. Genero, M. Piattini, and E. Manso. Software Metrics, 2005. 11th IEEE International Symposium, page 10 pp.--14. (September 2005)
12 years ago by @fritzsolms
show all tags
understandability;
languages;
software
programming;
maintenance;
metrics;
object-oriented
coupling;
specification;
expression
Modeling
{UML}
Unified
notation;
modifiability;
formal
{OCL}
diagram-based
{metricsOCL}
model;
Language
object
understandability;languages;softwareprogramming;maintenance;metrics;object-orientedcoupling;specification;expressionModeling{UML}Unifiednotation;modifiability;formal{OCL}diagram-based{metricsOCL}model;Languageobject
copydeleteadd this publication to your clipboard
2Axiomatic semantics of a hardware specification language
X. Hua, and H. Zhang. VLSI, 1992., Proceedings of the Second Great Lakes Symposium on, page 183--190. (February 1992)
12 years ago by @fritzsolms
show all tags
laboratory;
languages;
automatic
specification
{ILSL}
rewrite
specification;
verification;
proving
rule
semantics;
hardware
formal
prover;
design;
theorem
axiomatic
first-order
language;
formulas;
laboratory;languages;automaticspecification{ILSL}rewritespecification;verification;provingrulesemantics;hardwareformalprover;design;theoremaxiomaticfirst-orderlanguage;formulas;
copydeleteadd this publication to your clipboard
2Comparing methodologies for the transition between software requirements and architectures
M. Galster, A. Eberlein, and M. Moussavi. Systems, Man and Cybernetics, 2009. SMC 2009. IEEE International Conference on, page 2380--2385. (October 2009)
12 years ago by @fritzsolms
show all tags
formal
systems
software
development;
requirement;
architecture;
specification;
verification;
assessment;
analysis
methodology
transition
formalsystemssoftwaredevelopment;requirement;architecture;specification;verification;assessment;analysismethodologytransition
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
development
software
engineering;
specification;
code;
source
analysis
verification;
traceability
formal
design;
system
systems
design
traceability;
requirements
tools;
information
developmentsoftwareengineering;specification;code;sourceanalysisverification;traceabilityformaldesign;systemsystemsdesigntraceability;requirementstools;information
copydeleteadd this publication to your clipboard
2Exploiting ADLs to specify architectural styles induced by middleware infrastructures
E. di Nitto, and D. Rosenblum. Proceedings of the 1999 International Conference on Software Engineering, 1999, page 13--22. IEEE, (May 1999)
12 years ago by @fritzsolms
show all tags
infrastructures;
problems;
level
Performance
distributed
formal
Architecture;
Software
style
architectural
Robustness;
languages;
software
development;
Middleware;
architecture;
analysis;
complex
science;
specification;
client-server
Information
{ADLs};
formalization;
Programming;
high
systems
design
Permission;
Computer
definition
middleware
architecture
systems;
infrastructures;problems;levelPerformancedistributedformalArchitecture;SoftwarestylearchitecturalRobustness;languages;softwaredevelopment;Middleware;architecture;analysis;complexscience;specification;client-serverInformation{ADLs};formalization;Programming;highsystemsdesignPermission;Computerdefinitionmiddlewarearchitecturesystems;
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
Connectors;
product
Architecture
engineering;
specification
requirement
analysis
Unified
domain;
formal
system
Architecture;
model;
Software
software;
automotive
derivation;
standard
line
modeling
variability
languages;
software
language
development;
architecture;
analysis;
reusability;
industry
specification;
Information
description
Automotive
extended
orthogonal
standards;
Embedded
Computer
system;
Communication
language;
architecture
systems;
Connectors;productArchitectureengineering;specificationrequirementanalysisUnifieddomain;formalsystemArchitecture;model;Softwaresoftware;automotivederivation;standardlinemodelingvariabilitylanguages;softwarelanguagedevelopment;architecture;analysis;reusability;industryspecification;InformationdescriptionAutomotiveextendedorthogonalstandards;EmbeddedComputersystem;Communicationlanguage;architecturesystems;
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
distributed
specification
fault
quality
Unified
modeling;
formal
Telecommunications;
system
time
Object
oriented
Delay;
Jitter;
Pattern
object
modeling
description;
languages;
language
object-oriented
specification;
management;
uml;
service;
recognition;
QoS
of
tolerance;
Quality
Real
methods;
systems;
distributedspecificationfaultqualityUnifiedmodeling;formalTelecommunications;systemtimeObjectorientedDelay;Jitter;Patternobjectmodelingdescription;languages;languageobject-orientedspecification;management;uml;service;recognition;QoSoftolerance;QualityRealmethods;systems;
copydeleteadd this publication to your clipboard

⟨⟨
⟨
1
2
3
⟩
⟩⟩

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

3A general framework for formalizing UML with formal languages

1A syntactic theory of software architecture

1An experimental investigation of formality in UML-based development

1Assessing the impact of coupling on the understandability and modifiability of OCL expressions within UML/OCL combined models

2Axiomatic semantics of a hardware specification language

2Comparing methodologies for the transition between software requirements and architectures

1Design traceability

2Exploiting ADLs to specify architectural styles induced by middleware infrastructures

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

2General framework for the description of QoS in UML

browse

related tags

concepts

tags

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

publications (hide)25 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)25
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...