Result 1 to 20 of 37 total
Using AOP for discovering and defining executable test cases. (English)
Pnueli, Amir (ed.) et al., Perspectives of systems informatics. 7th international Andrei Ershov memorial conference, PSI 2009, Novosibirsk, Russia, June 15‒19, 2009. Revised papers. Berlin: Springer (ISBN 978-3-642-11485-4/pbk). Lecture Notes in Computer Science 5947, 269-281 (2010).
1
On the need of user-defined libraries in OCL (English)
ECEASST 36 (2010).
2
Using AOP for discovering and defining executable test cases (English)
Ershov Memorial Conference, 269-281 (2009).
3
Semantics of OCL specified with QVT. (English)
Softw. Syst. Model. 7, No. 4, 399-422 (2008).
4
Correctly defined concrete syntax. (English)
Softw. Syst. Model. 7, No. 4, 383-398 (2008).
5
Refactoring OCL annotated UML class diagrams. (English)
Softw. Syst. Model. 7, No. 1, 25-47 (2008).
6
On the usage of concrete syntax in model transformation rules. (English)
Virbitskaite, Irina (ed.) et al., Perspectives of systems informatics. 6th international Andrei Ershov memorial conference, PSI 2006, Novosibirsk, Russia, June 27‒30, 2006. Revised papers. Berlin: Springer (ISBN 978-3-540-70880-3/pbk). Lecture Notes in Computer Science 4378, 84-97 (2007).
7
A graphical approach to prove the semantic preservation of UML/OCL refactoring rules. (English)
Virbitskaite, Irina (ed.) et al., Perspectives of systems informatics. 6th international Andrei Ershov memorial conference, PSI 2006, Novosibirsk, Russia, June 27‒30, 2006. Revised papers. Berlin: Springer (ISBN 978-3-540-70880-3/pbk). Lecture Notes in Computer Science 4378, 70-83 (2007).
8
Synchronizing refactored UML class diagrams and OCL constraints (English)
WRT, 15-16 (2007).
9
On the usage of concrete syntax in model transformation rules (English)
Ershov Memorial Conference, 84-97 (2006).
10
A graphical approach to prove the semantic preservation of UML/OCL refactoring rules (English)
Ershov Memorial Conference, 70-83 (2006).
11
Definition and correct refinement of operation specifications (English)
Research Results of the DICS Program, 127-144 (2006).
12
An OCL semantics specified with QVT (English)
MoDELS, 661-675 (2006).
13
Correctly defined concrete syntax for visual modeling languages (English)
MoDELS, 111-125 (2006).
14
io-port 02243139 Ahrendt, Wolfgang;
Baar, Thomas;
Beckert, Bernhard;
Bubel, Richard;
Giese, Martin;
Hähnle, Reiner;
Menzel, Wolfram;
Mostowski, Wojciech;
Roth, Andreas;
Schlager, Steffen;
Schmitt, Peter H.
The KeY tool: integrating object oriented design and formal verification. (English)
Softw. Syst. Model. 4, No. 1, 32-54 (2005).
15
Tool support for OCL and related formalisms - needs and trends (English)
MoDELS Satellite Events, 1-9 (2005).
16
Refactoring OCL annotated UML class diagrams (English)
MoDELS, 280-294 (2005).
17
OCL and graph-transformations - A symbiotic alliance to alleviate the frame problem (English)
MoDELS Satellite Events, 20-31 (2005).
18
Making metamodels aware of concrete syntax (English)
ECMDA-FA, 190-204 (2005).
19
Non-deterministic constructs in OCL - what does $any()$ mean (English)
SDL Forum, 32-46 (2005).
20
Result 1 to 20 of 37 total
Start
Contact
Print
General Help
