List Resources
|
Displaying 1 - 4 of 4 (Bibliography: WIKINDX Master Bibliography)
Parameters:
|
|
Publisher: {IBFI, Schloss Dagstuhl, Germany}
|
|
|
M. Gogolla, "Tales of ER and RE Syntax and Semantics" in Transformation Techniques in Software Engineering, J. R. Cordy, R. Lämmel and A. Winter, Eds., 2005,
|
Added by: Mirco Kuhlmann
|
|
Pop. 18.92%
|
|
|
M. Gogolla, "Model Development in the UML-based Specification Environment (USE)" in Methods for Modelling Software Systems (MMOSS), E. Brinksma, D. Harel, A. Mader, P. Stevens and R. Wieringa, Eds., 2007,
|
Added by: Mirco Kuhlmann
|
|
Pop. 15.02%
|
|
|
M. Gogolla, "On Horizontal and Vertical Relationships between Models" in Perspectives Workshop: Model Engineering of Complex Systems (MECS), U. Aßmann, J. Bézivin, R. F. Paige, B. Rumpe and D. C. Schmidt, Eds., 2008,
|
Added by: Mirco Kuhlmann
|
|
Pop. 7.15%
|
|
|
M. Gogolla, "Towards Model Validation and Verification with SAT Techniques" in Algorithms and Applications for Next Generation SAT Solvers, B. Becker, V. Bertacoo, R. Drechsler and M. Fujita, Eds., 2009,
|
Added by: Mirco Kuhlmann
|
|
Pop. 4.77%
|
|
|
