tag :: 2009 | BibSonomy

bookmarks (hide)1211
display
all
bookmarks only
bookmarks per page
5
10
20
50
100
sort by
added at
title
RSS
BibTeX
XML

1IFCS/GFKL 2009
http://www.ifcs2009.de/
16 years ago by @dbenz
show all tags
2009
conference
gfkl
2009conferencegfkl
(0)
copydelete
- community post
- history of this post

⟨⟨
⟨
241
242
243
⟩
⟩⟩

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

1Adherence preserving refinement of trace-set properties in STAIRS: exemplified for information flow properties and policies
F. Seehusen, B. Solhaug, and K. Stolen. Software and Systems Modeling, 8 (1): 45--65 (February 2009)
16 years ago by @leonardo
show all tags
2009
refinement
2009refinement
(0)
copydeleteadd this publication to your clipboard
2Changing System Interfaces Consistently: A New Refinement Strategy for CSP||B
S. Schneider, and H. Treharne. (2009)
16 years ago by @leonardo
show all tags
2009
refinement
b
csp
2009refinementbcsp
(0)
copydeleteadd this publication to your clipboard
1Formal Use of Design Patterns and Refactoring
L. Quan, Q. Zongyan, and Z. Liu. (2009)
16 years ago by @leonardo
show all tags
design_patterns
2009
formal
refactoring
design_patterns2009formalrefactoring
(0)
copydeleteadd this publication to your clipboard
1Non-functional Avionics Requirements
M. Paulitsch, H. Ruess, and M. Sorea. Leveraging Applications of Formal Methods, Verification and Validation, 17, (2009)
16 years ago by @leonardo
show all tags
2009
requirement
avionics
2009requirementavionics
(0)
copydeleteadd this publication to your clipboard
2A UTP semantics for Circus
M. Oliveira, A. Cavalcanti, and J. Woodcock. Formal Aspects of Computing, 21 (1-2): 3--32 (February 2009)
16 years ago by @leonardo
show all tags
2009
refinement
semantics
utp
circus
2009refinementsemanticsutpcircus
(0)
copydeleteadd this publication to your clipboard
1Unifying theories in ProofPower-Z
M. Oliveira, A. Cavalcanti, and J. Woodcock. Formal Aspects of Computing, (2009)
16 years ago by @leonardo
show all tags
2009
utp
z
_to_appear
circus
2009utpz_to_appearcircus
(0)
copydeleteadd this publication to your clipboard
4Linking Model-Driven Development and Software Architecture: A Case Study
A. Mattsson, B. Lundell, B. Lings, and B. Fitzgerald. Software Engineering, IEEE Transactions on, 35 (1): 83--93 (2009)
16 years ago by @leonardo
show all tags
2009
_marcia
2009_marcia
(0)
copydeleteadd this publication to your clipboard
2A compositional semantics of UML-RSDS
K. Lano. Software and Systems Modeling, 8 (1): 85--116 (February 2009)
16 years ago by @leonardo
show all tags
model_transformation
2009
semantics
uml
model_transformation2009semanticsuml
(0)
copydeleteadd this publication to your clipboard
3Towards an integrated graph-based semantics for UML
S. Kuske, M. Gogolla, H. Kreowski, and P. Ziemann. Software and Systems Modeling, (2009)
16 years ago by @leonardo
show all tags
2009
graph
semantics
uml
_to_appear
2009graphsemanticsuml_to_appear
(0)
copydeleteadd this publication to your clipboard
2Specifying Behavioral Semantics of UML Diagrams Through Graph Transformations
J. Kong, K. Zhang, J. Dong, and D. Xu. Journal of Systems and Software, 82 (2): 292--306 (February 2009)
16 years ago by @leonardo
show all tags
2009
semantics
graph_transformation
uml
2009semanticsgraph_transformationuml
(0)
copydeleteadd this publication to your clipboard
3Formalizing the structural semantics of domain-specific modeling languages
E. Jackson, and J. Sztipanovits. Software and Systems Modeling, (2009)
16 years ago by @leonardo
show all tags
2009
semantics
domain_modeling
_to_appear
sos
2009semanticsdomain_modeling_to_appearsos
(0)
copydeleteadd this publication to your clipboard
2Object-oriented design: A goal-driven and pattern-based approach
N. Hsueh, J. Kuo, and C. Lin. Software and Systems Modeling, 8 (1): 67--84 (February 2009)
16 years ago by @leonardo
show all tags
design_patterns
2009
design_patterns2009
(0)
copydeleteadd this publication to your clipboard
2Redesign of UML class diagrams: a formal approach
P. Kosiuczenko. Software and Systems Modeling, (2009)
16 years ago by @leonardo
show all tags
2009
formal_methods
ocl
uml
_to_appear
refactoring
2009formal_methodsocluml_to_appearrefactoring
(0)
copydeleteadd this publication to your clipboard
1Encouraging the Uptake of Formal Methods Training in an Industrial Context
M. Hinchey. Leveraging Applications of Formal Methods, Verification and Validation, 17, chapter 9, (2009)
16 years ago by @leonardo
show all tags
2009
2009
(0)
copydeleteadd this publication to your clipboard
1Machine Checking Proof Theory: An Application of Logic to Logic
R. Gor'e. (2009)
16 years ago by @leonardo
show all tags
_to_download_springer
2009
_to_download_springer2009
(0)
copydeleteadd this publication to your clipboard
2From model transformation to incremental bidirectional model synchronization
H. Giese, and R. Wagner. Software and Systems Modeling, 8 (1): 21--43 (February 2009)
16 years ago by @leonardo
show all tags
model_transformation
2009
biderectional
incremental
model_transformation2009biderectionalincremental
(0)
copydeleteadd this publication to your clipboard
2An aspect-oriented methodology for designing secure applications
G. Georg, I. Ray, K. Anastasakis, B. Bordbar, M. Toahchoodee, and S. Houmb. Information and Software Technology, (2009)
16 years ago by @leonardo
show all tags
2009
_to_appear
2009_to_appear
(0)
copydeleteadd this publication to your clipboard
1Incorporating message weights in UML-based analysis of behavioral dependencies in distributed systems
V. Garousi. Software and Systems Modeling, (2009)
16 years ago by @leonardo
show all tags
2009
uml
_to_appear
2009uml_to_appear
(0)
copydeleteadd this publication to your clipboard
1On the Unification of Process Semantics: Observational Semantics
de Frutos, Gregorio, and M. Palomino. (2009)
16 years ago by @leonardo
show all tags
2009
semantics
2009semantics
(0)
copydeleteadd this publication to your clipboard
2FDR Explorer
L. Freitas, and J. Woodcock. Formal Aspects of Computing, 21 (1-2): 133--154 (February 2009)
16 years ago by @leonardo
show all tags
2009
fdr
2009fdr
(0)
copydeleteadd this publication to your clipboard

BibSonomy

bookmarks (hide)1211
display
all
bookmarks only
bookmarks per page
5
10
20
50
100
sort by
added at
title
RSS
BibTeX
XML

1IFCS/GFKL 2009

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

1Adherence preserving refinement of trace-set properties in STAIRS: exemplified for information flow properties and policies

2Changing System Interfaces Consistently: A New Refinement Strategy for CSP||B

1Formal Use of Design Patterns and Refactoring

1Non-functional Avionics Requirements

2A UTP semantics for Circus

1Unifying theories in ProofPower-Z

4Linking Model-Driven Development and Software Architecture: A Case Study

2A compositional semantics of UML-RSDS

3Towards an integrated graph-based semantics for UML

2Specifying Behavioral Semantics of UML Diagrams Through Graph Transformations

3Formalizing the structural semantics of domain-specific modeling languages

2Object-oriented design: A goal-driven and pattern-based approach

2Redesign of UML class diagrams: a formal approach

1Encouraging the Uptake of Formal Methods Training in an Industrial Context

1Machine Checking Proof Theory: An Application of Logic to Logic

2From model transformation to incremental bidirectional model synchronization

2An aspect-oriented methodology for designing secure applications

1Incorporating message weights in UML-based analysis of behavioral dependencies in distributed systems

1On the Unification of Process Semantics: Observational Semantics

2FDR Explorer

browse

related tags

similar tags

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

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

browse

related tags

similar tags

bookmarks (hide)1211
display
all
bookmarks only
bookmarks per page
5
10
20
50
100
sort by
added at
title
RSS
BibTeX
XML

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