@inproceedings{Schatz90, title = {Portierung eines neuronalen Netzwerksimulators auf ein Transputersystem}, author = {Bernhard Schätz}, year = {1990}, researchr = {https://researchr.org/publication/Schatz90}, cites = {0}, citedby = {0}, pages = {88-94}, booktitle = {Parallele Datenverarbeitung mit dem Transputer, 2. Transputer-Anwender-Treffen TAT 90, Aachen, 17.-18. September 1990}, editor = {Reinhard Grebe and Christian Ziemann}, volume = {272}, series = {Informatik-Fachberichte}, publisher = {Springer}, isbn = {3-540-53976-X}, } @inproceedings{SchatzRSS04, title = {CASE Support and Model-Based Development}, author = {Bernhard Schätz and Jan Romberg and Oscar Slotosch and Martin Strecker}, year = {2004}, tags = {rule-based, meta-model, model-driven development, Meta-Environment}, researchr = {https://researchr.org/publication/SchatzRSS04}, cites = {0}, citedby = {0}, pages = {283-284}, booktitle = {Modellierung 2004, Proceedings zur Tagung, 23.-26. März 2004, Marburg, Proceedings}, editor = {Bernhard Rumpe and Wolfgang Hesse}, volume = {45}, series = {LNI}, publisher = {GI}, } @inproceedings{GieseKLRS07, title = {07451 Summary - Model-Based Engineering of Embedded Real-Time Systems}, author = {Holger Giese and Gabor Karsai and Edward Lee and Bernhard Rumpe and Bernhard Schätz}, year = {2007}, url = {http://drops.dagstuhl.de/opus/volltexte/2007/1272}, tags = {rule-based, meta-model, model-driven engineering, Meta-Environment}, researchr = {https://researchr.org/publication/GieseKLRS07}, cites = {0}, citedby = {0}, booktitle = {Model-Based Engineering of Embedded Real-Time Systems, 4.11. - 9.11.2007}, editor = {Holger Giese and Gabor Karsai and Edward Lee and Bernhard Rumpe and Bernhard Schätz}, volume = {07451}, series = {Dagstuhl Seminar Proceedings}, publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany}, } @inproceedings{Schatz04, title = {Model-Based Development: Combining Engineering Approaches and Formal Techniques}, author = {Bernhard Schätz}, year = {2004}, url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3308&spage=1}, tags = {rule-based, meta-model, model-driven development, model-driven engineering, Meta-Environment, systematic-approach}, researchr = {https://researchr.org/publication/Schatz04}, cites = {0}, citedby = {0}, pages = {1-2}, booktitle = {Formal Methods and Software Engineering, 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings}, editor = {Jim Davies and Wolfram Schulte and Michael Barnett}, volume = {3308}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-23841-7}, } @inproceedings{SchatzGG06, title = {A Model-Based Approach To Requirements Analysis}, author = {Bernhard Schätz and Eva Geisberger and Johannes Grünbauer}, year = {2006}, url = {http://drops.dagstuhl.de/opus/volltexte/2007/866}, tags = {rule-based, analysis, systematic-approach}, researchr = {https://researchr.org/publication/SchatzGG06}, cites = {0}, citedby = {0}, booktitle = {Methods for Modelling Software Systems (MMOSS), 27.08. - 01.09.2006}, editor = {Ed Brinksma and David Harel and Angelika Mader and Perdita Stevens and Roel Wieringa}, volume = {06351}, series = {Dagstuhl Seminar Proceedings}, publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany}, } @inproceedings{Schatz08:1, title = {Vorwort zum Industriesymposium der Modellierung 2008}, author = {Bernhard Schätz}, year = {2008}, researchr = {https://researchr.org/publication/Schatz08%3A1}, cites = {0}, citedby = {0}, pages = {251-252}, booktitle = {Modellierung 2008, 12.-14. März 2008, Berlin}, editor = {Thomas Kühne and Wolfgang Reisig and Friedrich Steimann}, volume = {127}, series = {LNI}, publisher = {GI}, isbn = {978-3-88579-221-5}, } @inproceedings{HuberSE97, title = {Consistent Graphical Specification of Distributed Systems}, author = {Franz Huber and Bernhard Schätz and Geralf Einert}, year = {1997}, researchr = {https://researchr.org/publication/HuberSE97}, cites = {0}, citedby = {0}, pages = {122-141}, booktitle = {FME 97: Industrial Applications and Strengthened Foundations of Formal Methods, 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997, Proceedings}, editor = {John S. Fitzgerald and Cliff B. Jones and Peter Lucas}, volume = {1313}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-63533-5}, } @inproceedings{BraunLSS00, title = {Consistent Integration of Formal Methods}, author = {Peter Braun 0003 and Heiko Lötzbeyer and Bernhard Schätz and Oscar Slotosch}, year = {2000}, url = {http://link.springer.de/link/service/series/0558/bibs/1785/17850048.htm}, researchr = {https://researchr.org/publication/BraunLSS00}, cites = {0}, citedby = {0}, pages = {48-62}, booktitle = {Tools and Algorithms for Construction and Analysis of Systems, 6th International Conference, TACAS 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedi}, editor = {Susanne Graf and Michael I. Schwartzbach}, volume = {1785}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-67282-6}, } @article{PretschnerSSS07, title = {4:::th::: Intl. ICSE workshop on Software Engineering for Automotive Systems}, author = {Alexander Pretschner and Chris Salzmann and Bernhard Schätz and Thomas Stauner}, year = {2007}, doi = {10.1145/1281421.1281442}, url = {http://doi.acm.org/10.1145/1281421.1281442}, tags = {software engineering}, researchr = {https://researchr.org/publication/PretschnerSSS07}, cites = {0}, citedby = {0}, journal = {ACM SIGSOFT Software Engineering Notes}, volume = {32}, number = {4}, pages = {40}, } @inproceedings{HuberMRSSS98, title = {Tool Supported Specification and Simulation of Distributed Systems}, author = {Franz Huber and Sascha Molterer and Andreas Rausch and Bernhard Schätz and Marc Sihling and Oscar Slotosch}, year = {1998}, url = {http://dlib.computer.org/conferen/pdse/8467/pdf/84670155.pdf}, researchr = {https://researchr.org/publication/HuberMRSSS98}, cites = {0}, citedby = {0}, pages = {155}, booktitle = {PDSE}, } @article{Schatz08, title = {Modular Functional Descriptions}, author = {Bernhard Schätz}, year = {2008}, doi = {10.1016/j.entcs.2008.06.019}, url = {http://dx.doi.org/10.1016/j.entcs.2008.06.019}, researchr = {https://researchr.org/publication/Schatz08}, cites = {0}, citedby = {0}, journal = {Electronic Notes in Theoretical Computer Science}, volume = {215}, pages = {23-38}, } @inproceedings{Schatz04:0, title = {UML-RT - Die Lösung für eingebettete Software?}, author = {Bernhard Schätz}, year = {2004}, tags = {UML}, researchr = {https://researchr.org/publication/Schatz04%3A0}, cites = {0}, citedby = {0}, pages = {263-265}, booktitle = {Modellierung 2004, Proceedings zur Tagung, 23.-26. März 2004, Marburg, Proceedings}, editor = {Bernhard Rumpe and Wolfgang Hesse}, volume = {45}, series = {LNI}, publisher = {GI}, } @inproceedings{SchatzH99, title = {Integrating Formal Description Techniques}, author = {Bernhard Schätz and Franz Huber}, year = {1999}, url = {http://link.springer.de/link/service/series/0558/bibs/1709/17091206.htm}, researchr = {https://researchr.org/publication/SchatzH99}, cites = {0}, citedby = {0}, pages = {1206-1225}, booktitle = {FM 99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume II}, editor = {Jeannette M. Wing and Jim Woodcock and Jim Davies}, volume = {1709}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-66588-9}, } @article{BroyHS99, title = {AutoFocus - Ein Werkzeugprototyp zur Entwicklung eingebetteter Systeme}, author = {Manfred Broy and Franz Huber and Bernhard Schätz}, year = {1999}, url = {http://link.springer.de/link/service/journals/00450/bibs/9014003/90140121.htm}, researchr = {https://researchr.org/publication/BroyHS99}, cites = {0}, citedby = {0}, journal = {Inform., Forsch. Entwickl.}, volume = {14}, number = {3}, pages = {121-134}, } @inproceedings{GieseKLRS07a, title = {07451 Abstracts Collection - Model-Based Engineering of Embedded Real-Time Systems}, author = {Holger Giese and Gabor Karsai and Edward Lee and Bernhard Rumpe and Bernhard Schätz}, year = {2007}, url = {http://drops.dagstuhl.de/opus/volltexte/2007/1271}, tags = {rule-based, meta-model, model-driven engineering, Meta-Environment}, researchr = {https://researchr.org/publication/GieseKLRS07a}, cites = {0}, citedby = {0}, booktitle = {Model-Based Engineering of Embedded Real-Time Systems, 4.11. - 9.11.2007}, editor = {Holger Giese and Gabor Karsai and Edward Lee and Bernhard Rumpe and Bernhard Schätz}, volume = {07451}, series = {Dagstuhl Seminar Proceedings}, publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany}, } @inproceedings{HerrmannsdoerferRS09, title = {Structured Formalization of Service-Oriented Specifications}, author = {Markus Herrmannsdörfer and Sabine Rittmann and Bernhard Schätz}, year = {2009}, doi = {10.1109/ECBS.2009.23}, url = {http://dx.doi.org/10.1109/ECBS.2009.23}, tags = {rule-based, sequence diagrams, systematic-approach}, researchr = {https://researchr.org/publication/HerrmannsdoerferRS09}, cites = {0}, citedby = {0}, pages = {227-236}, booktitle = {16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, ECBS 2009, San Francisco, California, USA, 14-16 April 2009}, publisher = {IEEE Computer Society}, isbn = {978-0-7695-3602-6}, } @inproceedings{KofS03, title = {Combining Aspects of Reactive Systems}, author = {Leonid Kof and Bernhard Schätz}, year = {2003}, url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2890&spage=344}, researchr = {https://researchr.org/publication/KofS03}, cites = {0}, citedby = {0}, pages = {344-349}, booktitle = {Perspectives of Systems Informatics, 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers}, editor = {Manfred Broy and Alexandre V. Zamulin}, volume = {2890}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-20813-5}, } @inproceedings{SchatzS03, title = {Service-Based Systems Engineering: Consistent Combination of Services}, author = {Bernhard Schätz and Chris Salzmann}, year = {2003}, url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2885&spage=86}, tags = {rule-based}, researchr = {https://researchr.org/publication/SchatzS03}, cites = {0}, citedby = {0}, pages = {86-104}, booktitle = {Formal Methods and Software Engineering, 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings}, editor = {Jin Song Dong and Jim Woodcock}, volume = {2885}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-20461-X}, } @inproceedings{SchatzS00, title = {10 Years Focus - Lessons learned}, author = {Bernhard Schätz and Katharina Spies}, year = {2000}, researchr = {https://researchr.org/publication/SchatzS00}, cites = {0}, citedby = {0}, pages = {111-120}, booktitle = {Formale Beschreibungstechniken für verteilte Systeme, 10. GI/ITG-Fachgespräch, Lübeck, Juni 2000}, editor = {Jens Grabowski and Stefan Heymer}, publisher = {Verlag Shaker}, isbn = {3-8265-7491-5}, } @article{BroyHKS06, title = {SoSyM special section on service-based software engineering}, author = {Manfred Broy and Heinrich Hussmann and Ingolf H. Krüger and Bernhard Schätz}, year = {2006}, doi = {10.1007/s10270-006-0002-3}, url = {http://dx.doi.org/10.1007/s10270-006-0002-3}, tags = {rule-based, software engineering}, researchr = {https://researchr.org/publication/BroyHKS06}, cites = {0}, citedby = {0}, journal = {Software and Systems Modeling}, volume = {5}, number = {2}, pages = {170-171}, } @inproceedings{SchatzPHP02, title = {Model-Based Development of Embedded Systems}, author = {Bernhard Schätz and Alexander Pretschner and Franz Huber and Jan Philipps}, year = {2002}, url = {http://link.springer.de/link/service/series/0558/bibs/2426/24260298.htm}, tags = {rule-based, meta-model, model-driven development, Meta-Environment}, researchr = {https://researchr.org/publication/SchatzPHP02}, cites = {0}, citedby = {0}, pages = {298-312}, booktitle = {Advances in Object-Oriented Information Systems, OOIS 2002 Workshops, Montpellier, France, September 2, 2002, Proceedings}, editor = {Jean-Michel Bruel and Zohra Bellahsene}, volume = {2426}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-44088-7}, } @inproceedings{ZiegenbeinBFBRS05, title = {AutoMoDe - Model-Based Development of Automotive Software}, author = {Dirk Ziegenbein and Peter Braun 0003 and Ulrich Freund and Andreas Bauer 0002 and Jan Romberg and Bernhard Schätz}, year = {2005}, doi = {10.1109/DATE.2005.77}, url = {http://doi.ieeecomputersociety.org/10.1109/DATE.2005.77}, tags = {rule-based, meta-model, model-driven development, Meta-Environment}, researchr = {https://researchr.org/publication/ZiegenbeinBFBRS05}, cites = {0}, citedby = {0}, pages = {171-177}, booktitle = {2005 Design, Automation and Test in Europe Conference and Exposition (DATE 2005), 7-11 March 2005, Munich, Germany}, publisher = {IEEE Computer Society}, isbn = {0-7695-2288-2}, } @inproceedings{HuberMSSV98, title = {Traffic Lights - An AutoFocus Case Study}, author = {Franz Huber and Sascha Molterer and Bernhard Schätz and Oscar Slotosch and Alexander Vilbig}, year = {1998}, url = {http://csdl.computer.org/comp/proceedings/csd/1998/8350/00/83500282abs.htm}, tags = {case study}, researchr = {https://researchr.org/publication/HuberMSSV98}, cites = {0}, citedby = {0}, pages = {282}, booktitle = {1st International Conference on Application of Concurrency to System Design (ACSD 98), 23-26 March 1998, Fukushima, Japan}, publisher = {IEEE Computer Society}, isbn = {0-8186-8350-3}, } @incollection{KamstiesKPS05, title = {An Empirical Investigation of Requirements Specification Languages: Detecting Defects While Formalizing Requirements}, author = {Erik Kamsties and Antje von Knethen and Jan Philipps and Bernhard Schätz}, year = {2005}, tags = {empirical}, researchr = {https://researchr.org/publication/KamstiesKPS05}, cites = {0}, citedby = {0}, pages = {125-147}, booktitle = {Information Modeling Methods and Methodologies}, editor = {John Krogstie and Terry A. Halpin and Keng Siau}, publisher = {Idea Group}, isbn = {1-59140-376-6}, } @inproceedings{BoskovicGPS08, title = {The First International Workshop on Non-Functional System Properties in Domain Specific Modeling Languages (NFPinDSML2008)}, author = {Marko Boskovic and Dragan Gasevic and Claus Pahl and Bernhard Schätz}, year = {2008}, doi = {10.1007/978-3-642-01648-6_24}, url = {http://dx.doi.org/10.1007/978-3-642-01648-6_24}, tags = {modeling language, modeling, language modeling, domain-specific language}, researchr = {https://researchr.org/publication/BoskovicGPS08}, cites = {0}, citedby = {0}, pages = {227-228}, booktitle = {Models in Software Engineering, Workshops and Symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008. Reports and Revised Selected Papers}, editor = {Michel R. V. Chaudron}, volume = {5421}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-642-01647-9}, } @inproceedings{BauerRS04, title = {Integrierte Entwicklung von Automotive-Software mit AutoFOCUS}, author = {Andreas Bauer 0002 and Jan Romberg and Bernhard Schätz}, year = {2004}, researchr = {https://researchr.org/publication/BauerRS04}, cites = {0}, citedby = {0}, pages = {13-17}, booktitle = {INFORMATIK 2004 - Informatik verbindet, Band 2, Beiträge der 34. Jahrestagung der Gesellschaft für Informatik e.V. (GI), Ulm, 20.-24. September 2004}, editor = {Peter Dadam and Manfred Reichert}, volume = {51}, series = {LNI}, publisher = {GI}, isbn = {3-88579-380-6}, } @article{BauerBRSBFMSMZ07, title = {Das AutoMoDe-Projekt}, author = {Andreas Bauer 0002 and Manfred Broy and Jan Romberg and Bernhard Schätz and Peter Braun 0003 and Ulrich Freund and Nuria Mata and Robert Sandner and Pierre Mai and Dirk Ziegenbein}, year = {2007}, doi = {10.1007/s00450-007-0028-y}, url = {http://dx.doi.org/10.1007/s00450-007-0028-y}, researchr = {https://researchr.org/publication/BauerBRSBFMSMZ07}, cites = {0}, citedby = {0}, journal = {Inform., Forsch. Entwickl.}, volume = {22}, number = {1}, pages = {45-57}, } @inproceedings{SchatzBHW03, title = {Consistency in Model-Based Development}, author = {Bernhard Schätz and Peter Braun 0003 and Franz Huber and Alexander K. Wißpeintner}, year = {2003}, url = {http://csdl.computer.org/comp/proceedings/ecbs/2003/1917/00/19170287abs.htm}, tags = {rule-based, meta-model, model-driven development, consistency, Meta-Environment}, researchr = {https://researchr.org/publication/SchatzBHW03}, cites = {0}, citedby = {0}, pages = {287-296}, booktitle = {10th IEEE International Conference on Engineering of Computer-Based Systems (ECBS 2003), 7-10 April 2003, Huntsville, AL, USA}, publisher = {IEEE Computer Society}, isbn = {0-7695-1917-2}, } @inproceedings{BroyFHKKMPRSSW07, title = {Service-Oriented Modeling of CoCoME with Focus and AutoFocus}, author = {Manfred Broy and Jorge Fox and Florian Hölzl and Dagmar Koss and Marco Kuhrmann and Michael Meisinger and Birgit Penzenstadler and Sabine Rittmann and Bernhard Schätz and Maria Spichkova and Doris Wild}, year = {2007}, doi = {10.1007/978-3-540-85289-6_8}, url = {http://dx.doi.org/10.1007/978-3-540-85289-6_8}, tags = {modeling}, researchr = {https://researchr.org/publication/BroyFHKKMPRSSW07}, cites = {0}, citedby = {0}, pages = {177-206}, booktitle = {The Common Component Modeling Example: Comparing Software Component Models [result from the Dagstuhl research seminar for CoCoME, August 1-3, 2007]}, editor = {Andreas Rausch and Ralf Reussner and Raffaela Mirandola and Frantisek Plasil}, volume = {5153}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-540-85288-9}, } @inproceedings{SchatzHB96, title = {Graphical Development of Consistent System Specifications}, author = {Bernhard Schätz and Heinrich Hußmann and Manfred Broy}, year = {1996}, researchr = {https://researchr.org/publication/SchatzHB96}, cites = {0}, citedby = {0}, pages = {248-267}, booktitle = {FME 96: Industrial Benefit and Advances in Formal Methods, Third International Symposium of Formal Methods Europe, Co-Sponsored by IFIP WG 14.3, Oxford, UK, March 18-22, 1996, Proceedings}, editor = {Marie-Claude Gaudel and Jim Woodcock}, volume = {1051}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-60973-3}, } @article{BauerRS05, title = {Integrierte Entwicklung von Automotive-Software mit AutoFocus}, author = {Andreas Bauer 0002 and Jan Romberg and Bernhard Schätz}, year = {2005}, doi = {10.1007/s00450-005-0187-7}, url = {http://dx.doi.org/10.1007/s00450-005-0187-7}, researchr = {https://researchr.org/publication/BauerRS05}, cites = {0}, citedby = {0}, journal = {Inform., Forsch. Entwickl.}, volume = {19}, number = {4}, pages = {194-205}, } @inproceedings{SchatzBHW05, title = {Checking and Transforming Models with AutoFOCUS}, author = {Bernhard Schätz and Peter Braun 0003 and Franz Huber and Alexander K. Wißpeintner}, year = {2005}, url = {http://csdl.computer.org/comp/proceedings/ecbs/2005/2308/00/23080307abs.htm}, tags = {model checking, meta-model, Meta-Environment}, researchr = {https://researchr.org/publication/SchatzBHW05}, cites = {0}, citedby = {0}, pages = {307-314}, booktitle = {12th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2005), 4-7 April 2005, Greenbelt, MD, USA}, publisher = {IEEE Computer Society}, isbn = {0-7695-2308-0}, } @inproceedings{DeissenboeckHJSWGT08, title = {Clone detection in automotive model-based development}, author = {Florian Deissenboeck and Benjamin Hummel and Elmar Jürgens and Bernhard Schätz and Stefan Wagner and Jean-Francois Girard and Stefan Teuchert}, year = {2008}, doi = {10.1145/1368088.1368172}, url = {http://doi.acm.org/10.1145/1368088.1368172}, tags = {rule-based, meta-model, model-driven development, Meta-Environment}, researchr = {https://researchr.org/publication/DeissenboeckHJSWGT08}, cites = {0}, citedby = {0}, pages = {603-612}, booktitle = {30th International Conference on Software Engineering (ICSE 2008), Leipzig, Germany, May 10-18, 2008}, editor = {Wilhelm Schäfer and Matthew B. Dwyer and Volker Gruhn}, publisher = {ACM}, isbn = {978-1-60558-079-1}, } @article{Schatz07, title = {Combining Product Lines and Model-Based Development}, author = {Bernhard Schätz}, year = {2007}, doi = {10.1016/j.entcs.2006.09.038}, url = {http://dx.doi.org/10.1016/j.entcs.2006.09.038}, tags = {rule-based, meta-model, model-driven development, Meta-Environment}, researchr = {https://researchr.org/publication/Schatz07}, cites = {0}, citedby = {0}, journal = {Electronic Notes in Theoretical Computer Science}, volume = {182}, pages = {171-186}, } @inproceedings{HuberS97, title = {Rapid Prototyping with AutoFocus}, author = {Franz Huber and Bernhard Schätz}, year = {1997}, researchr = {https://researchr.org/publication/HuberS97}, cites = {0}, citedby = {0}, pages = {343-352}, booktitle = {Formale Beschreibungstechniken für verteilte Systeme, GI/ITG-Fachgespräch, Berlin, 19.-20. Juni 1997}, editor = {Adam Wolisz and Ina Schieferdecker and Axel Rennoch}, volume = {315}, series = {GMD-Studien}, publisher = {GMD-Forschungszentrum Informationstechnik GmbH}, isbn = {3-88457-315-2}, } @article{GeisbergerS07, title = {Modellbasierte Anforderungsanalyse mit AutoRAID}, author = {Eva Geisberger and Bernhard Schätz}, year = {2007}, doi = {10.1007/s00450-007-0021-5}, url = {http://dx.doi.org/10.1007/s00450-007-0021-5}, researchr = {https://researchr.org/publication/GeisbergerS07}, cites = {0}, citedby = {0}, journal = {Inform., Forsch. Entwickl.}, volume = {21}, number = {3-4}, pages = {231-242}, } @inproceedings{HuberS98, title = {Specification Modules for Methodical System Development}, author = {Franz Huber and Bernhard Schätz}, year = {1998}, researchr = {https://researchr.org/publication/HuberS98}, cites = {0}, citedby = {0}, pages = {75-86}, booktitle = {Formale Beschreibungstechniken für verteilte Systeme, 8. GI/ITG-Fachgespräch, Cottbus, 4. und 5. Juni 1998}, editor = {Hartmut König and Peter Langendörfer}, publisher = {Verlag Shaker}, isbn = {3-8265-3807-2}, } @inproceedings{PretschnerSSS07:0, title = {4th International ICSE Workshop on Software Engineering for Automotive Systems}, author = {Alexander Pretschner and Chris Salzmann and Bernhard Schätz and Thomas Stauner}, year = {2007}, doi = {10.1109/ICSECOMPANION.2007.7}, url = {http://doi.ieeecomputersociety.org/10.1109/ICSECOMPANION.2007.7}, tags = {software engineering}, researchr = {https://researchr.org/publication/PretschnerSSS07%3A0}, cites = {0}, citedby = {0}, pages = {146}, booktitle = {29th International Conference on Software Engineering (ICSE 2007), Minneapolis, MN, USA, May 20-26, 2007, Companion Volume}, publisher = {IEEE Computer Society}, } @inproceedings{KamstiesKPS99, title = {Eine vergleichende Fallstudie von acht CASE-Werkzeugen für formale und semi-formale Beschreibungstechniken}, author = {Erik Kamsties and Antje von Knethen and Jan Philipps and Bernhard Schätz}, year = {1999}, researchr = {https://researchr.org/publication/KamstiesKPS99}, cites = {0}, citedby = {0}, pages = {103-112}, booktitle = {Formale Beschreibungstechniken für verteilte Systeme, 9. GI/ITG-Fachgespräch, München, Juni 1999}, editor = {Katharina Spies and Bernhard Schätz}, publisher = {Herbert Utz Verlag}, isbn = {3-89675-918-3}, } @inproceedings{HuberSSS96, title = {AutoFocus: A Tool for Distributed Systems Specification}, author = {Franz Huber and Bernhard Schätz and Alexander Schmidt and Katharina Spies}, year = {1996}, researchr = {https://researchr.org/publication/HuberSSS96}, cites = {0}, citedby = {0}, pages = {467-470}, booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 4th International Symposium, FTRTFT 96, Uppsala, Sweden, September 9-13, 1996, Proceedings}, editor = {Bengt Jonsson and Joachim Parrow}, volume = {1135}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-61648-9}, } @inproceedings{Schatz08:0, title = {Formalization and Rule-Based Transformation of EMF Ecore-Based Models}, author = {Bernhard Schätz}, year = {2008}, doi = {10.1007/978-3-642-00434-6_15}, url = {http://dx.doi.org/10.1007/978-3-642-00434-6_15}, tags = {model-to-model transformation, rule-based, meta-model, EMF, source-to-source, rules, model transformation, Meta-Environment, transformation}, researchr = {https://researchr.org/publication/Schatz08%3A0}, cites = {0}, citedby = {0}, pages = {227-244}, booktitle = {Software Language Engineering, First International Conference, SLE 2008, Toulouse, France, September 29-30, 2008. Revised Selected Papers}, editor = {Dragan Gasevic and Ralf Lämmel and Eric {Van Wyk}}, volume = {5452}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-642-00433-9}, } @inproceedings{SchatzFGP05, title = {Model-Based Requirements Engineering with AutoRAID}, author = {Bernhard Schätz and Andreas Fleischmann and Eva Geisberger and Markus Pister}, year = {2005}, tags = {rule-based, meta-model, requirements engineering, model-driven engineering, Meta-Environment}, researchr = {https://researchr.org/publication/SchatzFGP05}, cites = {0}, citedby = {0}, pages = {511-515}, booktitle = {INFORMATIK 2005 - Informatik LIVE! Band 2, Beiträge der 35. Jahrestagung der Gesellschaft für Informatik e.V. (GI), Bonn, 19. bis 22. September 2005}, editor = {Armin B. Cremers and Rainer Manthey and Peter Martini and Volker Steinhage}, volume = {68}, series = {LNI}, publisher = {GI}, isbn = {3-88579-397-0}, } @proceedings{fbt:1999, title = {Formale Beschreibungstechniken für verteilte Systeme, 9. GI/ITG-Fachgespräch, München, Juni 1999}, year = {1999}, researchr = {https://researchr.org/publication/fbt%3A1999}, cites = {0}, citedby = {0}, booktitle = {Formale Beschreibungstechniken für verteilte Systeme, 9. GI/ITG-Fachgespräch, München, Juni 1999}, conference = {fbt}, editor = {Katharina Spies and Bernhard Schätz}, publisher = {Herbert Utz Verlag}, isbn = {3-89675-918-3}, } @proceedings{dagstuhl:2007P7451, title = {Model-Based Engineering of Embedded Real-Time Systems, 4.11. - 9.11.2007}, year = {2007}, tags = {rule-based, meta-model, model-driven engineering, Meta-Environment}, researchr = {https://researchr.org/publication/dagstuhl%3A2007P7451}, cites = {0}, citedby = {0}, booktitle = {Model-Based Engineering of Embedded Real-Time Systems, 4.11. - 9.11.2007}, conference = {Dagstuhl}, editor = {Holger Giese and Gabor Karsai and Edward Lee and Bernhard Rumpe and Bernhard Schätz}, volume = {07451}, series = {Dagstuhl Seminar Proceedings}, publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany}, }