TWiki
>
SPG Web
>
SoftwareProductivityGroup
>
GenteAreaProjects
>
AlloyGroup
>
GroupEvents
(2005-07-14,
TWikiGuest
)
E
dit
A
ttach
Related Events
In addition to the
major events
related to the group, we consider also the following events which are more closely related to this project:
SBMF
, Brazilian Symposium on Formal Methods;
Formal Methods Europe
;
ESEC/FSE
, ACM SIGSOFT Symposium on the Foundations of Software Engineering;
UML 2004
;
Workshop on Critical Systems Development
;
Specification and Verification of Component-Based Systems at Foundations of Software Engeneering
;
Software Model Engineering
;
Compositional Verification of UML Models
;
Consistency Problems in UML-based Software Development
;
International Workshop on Software Evolution Transformations (SET 2004)
;
Generative Techniques in the context of Model Driven Architecture
, at OOPSLA 2003;
International Symposium on Formal Methods for Components and Objects (FMCO)
10th International Conference on Algebraic Methodology And Software Technology, AMAST'2004
Summer School
International Summer School Marktoberdorf
LASER Summer School
Winter School on Semantics and Applications
Back
E
dit
|
A
ttach
|
P
rint version
|
H
istory
: r2
<
r1
|
B
acklinks
|
R
aw View
|
Ra
w
edit
|
M
ore topic actions
Topic revision: r2 - 2005-07-14
-
TWikiGuest
SPG
Log In
or
Register
SPG
Members
Research Areas and Projects
Publications
Theses
Talks and Posters
Software and Processes
Weekly Seminar
Events
Visits
Related research
Contact
Internal links
Search
Create New Topic
Index
Last Changes
RSS Feed
Copyright © 2008-2025 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki?
Send feedback