tag :: _hardcopy 2008 alloy

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

3Safety Process Improvement with POSE and Alloy
D. Mannering, J. Hall, and L. Rapanotti. page 25--41. (2008)
16 years ago by @leonardo
show all tags
2008
_hardcopy
alloy
2008_hardcopyalloy
(0)
copydeleteadd this publication to your clipboard
1A Formal Definition of the EP Language
P. Kelsen, and Q. Ma. Laboratory for Advanced Software Systems, University of Luxembourg, (May 2008)
16 years ago by @leonardo
show all tags
2008
_hardcopy
semantics
alloy
2008_hardcopysemanticsalloy
(0)
copydeleteadd this publication to your clipboard
2On Combining Multi-formalism Knowledge to Select Models for Model Transformation Testing
S. Sen, B. Baudry, and J. Mottu. Software Testing, Verification, and Validation, 2008 1st International Conference on, page 328--337. (2008)
16 years ago by @leonardo
show all tags
2008
_hardcopy
model
multi-formalism
tests
alloy
transformation
2008_hardcopymodelmulti-formalismtestsalloytransformation
(0)
copydeleteadd this publication to your clipboard
2Declarative approach for model composition
J. Rubin, M. Chechik, and S. Easterbrook. MiSE '08: Proceedings of the 2008 international workshop on Models in software engineering, page 7--14. New York, NY, USA, ACM, (2008)
16 years ago by @leonardo
show all tags
2008
_hardcopy
model_composition
alloy
_event_mise
2008_hardcopymodel_compositionalloy_event_mise
(0)
copydeleteadd this publication to your clipboard
1Mondex , an electronic purse: specification and refinement checks with the Alloy model-finding method
T. Ramananandro. Formal Aspects of Computing, 20 (1): 21--39 (January 2008)
16 years ago by @leonardo
show all tags
2008
_hardcopy
refinement
mondex
alloy
z
_folder_1
2008_hardcopyrefinementmondexalloyz_folder_1
(0)
copydeleteadd this publication to your clipboard
1A Lightweight Approach for the Semantic Validation of Model Refinements
C. Pons, and D. Garcia. Electronic Notes in Theoretical Computer Science, 220 (1): 43--61 (December 2008)
16 years ago by @leonardo
show all tags
2008
_hardcopy
refinement
validation
alloy
_folder_1
2008_hardcopyrefinementvalidationalloy_folder_1
(0)
copydeleteadd this publication to your clipboard
2Model Checking Event-B by Encoding into Alloy
P. Matos, and J. ao M. Silva. ABZ, volume 5238 of Lecture Notes in Computer Science, Springer, (2008)
16 years ago by @leonardo
show all tags
2008
_hardcopy
alloy
model_checking
event-b
2008_hardcopyalloymodel_checkingevent-b
(0)
copydeleteadd this publication to your clipboard
2Model Checking Event-B by Encoding into Alloy
P. Matos, and J. Marques-Silva. (May 2008)
16 years ago by @leonardo
show all tags
2008
_hardcopy
alloy
model_checking
event-b
2008_hardcopyalloymodel_checkingevent-b
(0)
copydeleteadd this publication to your clipboard
2Alchemy: transmuting base alloy specifications into implementations
S. Krishnamurthi, K. Fisler, D. Dougherty, and D. Yoo. SIGSOFT '08/FSE-16: Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering, page 158--169. New York, NY, USA, ACM, (2008)
16 years ago by @leonardo
show all tags
2008
_hardcopy
alloy
2008_hardcopyalloy
(0)
copydeleteadd this publication to your clipboard
2Modeling and Analysis of Reo Connectors Using Alloy
R. Khosravi, M. Sirjani, N. Asoudeh, S. Sahebi, and H. Iravanchi. (2008)
16 years ago by @leonardo
show all tags
2008
_hardcopy
connectors
alloy
reo
2008_hardcopyconnectorsalloyreo
(0)
copydeleteadd this publication to your clipboard
4A Lightweight Approach for Defining the Formal Semantics of a Modeling Language
P. Kelsen, and Q. Ma. MoDELS 2008, page 690--704. (2008)
16 years ago by @leonardo
show all tags
2008
_hardcopy
formal
semantics
alloy
_on
2008_hardcopyformalsemanticsalloy_on
(0)
copydeleteadd this publication to your clipboard
1Trace specifications in Alloy
J. Jacob. University of York, England, (November 2008)
16 years ago by @leonardo
show all tags
2008
_hardcopy
alloy
traces
2008_hardcopyalloytraces
(0)
copydeleteadd this publication to your clipboard
1Alloy as a Refactoring Checker?
C. Estler, and H. Wehrheim. Electronic Notes in Theoretical Computer Science, (June 2008)
16 years ago by @leonardo
show all tags
2008
_hardcopy
refinement
alloy
checker
_folder_1
refactoring
2008_hardcopyrefinementalloychecker_folder_1refactoring
(0)
copydeleteadd this publication to your clipboard
2Bounded Relational Analysis of Free Data Types
A. Dunets, G. Schellhorn, and W. Reif. (2008)
16 years ago by @leonardo
show all tags
2008
_hardcopy
alloy
_marcia
2008_hardcopyalloy_marcia
(0)
copydeleteadd this publication to your clipboard
2Automating Algebraic Specifications of Non-freely Generated Data Types
A. Dunets, G. Schellhorn, and W. Reif. (2008)
16 years ago by @leonardo
show all tags
2008
_hardcopy
alloy
algebraic_specification
2008_hardcopyalloyalgebraic_specification
(0)
copydeleteadd this publication to your clipboard
2Understanding and improving UML package merge
J. Dingel, Z. Diskin, and A. Zito. Software and Systems Modeling, 7 (4): 443--467 (October 2008)
16 years ago by @leonardo
show all tags
2008
_hardcopy
semantics
alloy
uml
2008_hardcopysemanticsalloyuml
(0)
copydeleteadd this publication to your clipboard
2A Comparison of State-Based Modelling Tools for Model Validation
E. Aydal, M. Utting, and J. Woodcock. (2008)
16 years ago by @leonardo
show all tags
2008
_hardcopy
alloy
z
2008_hardcopyalloyz
(0)
copydeleteadd this publication to your clipboard
2Towards Abstraction for DynAlloy Specifications
N. Aguirre, M. Frias, P. Ponzio, B. Cardiff, J. Galeotti, and G. Regis. (2008)
16 years ago by @leonardo
show all tags
2008
_hardcopy
alloy
dynalloy
2008_hardcopyalloydynalloy
(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)18
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...

3Safety Process Improvement with POSE and Alloy

1A Formal Definition of the EP Language

2On Combining Multi-formalism Knowledge to Select Models for Model Transformation Testing

2Declarative approach for model composition

1Mondex , an electronic purse: specification and refinement checks with the Alloy model-finding method

1A Lightweight Approach for the Semantic Validation of Model Refinements

2Model Checking Event-B by Encoding into Alloy

2Model Checking Event-B by Encoding into Alloy

2Alchemy: transmuting base alloy specifications into implementations

2Modeling and Analysis of Reo Connectors Using Alloy

4A Lightweight Approach for Defining the Formal Semantics of a Modeling Language

1Trace specifications in Alloy

1Alloy as a Refactoring Checker?

2Bounded Relational Analysis of Free Data Types

2Automating Algebraic Specifications of Non-freely Generated Data Types

2Understanding and improving UML package merge

2A Comparison of State-Based Modelling Tools for Model Validation

2Towards Abstraction for DynAlloy Specifications

browse

related tags

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

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