Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
68 | Hermann von Issendorff |
Time and Logic: A Calculus of Binary Events. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computing ![In: Computing 54(3), pp. 227-240, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
causality and time, time-bound propositions, three-valued algebra, processing logic, Theory of computation |
55 | Peter Schefe |
Softwaretechnik und Erkenntnistheorie. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inform. Spektrum ![In: Inform. Spektrum 22(2), pp. 122-135, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Anforderungsanalyse, Spezifikation, Repräsentation, Begriffsbildung, Definierbarkeit, Objekt-orientierte Modellierung, Modell, Prototyp |
45 | Gregor Engels, Rupert Gall, Manfred Nagl, Wilhelm Schäfer |
Software specification using graph grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computing ![In: Computing 31(4), pp. 317-346, 1983. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
syntax, graph grammars, software specification, Software development environments |
37 | Ivan Bogicevic |
Spezifikation von Software-Modulen: ein Prozessmodell für die Spezifikation und Dokumentation von Software-Modulen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2016 |
RDF |
|
37 | Heinrich C. Mayr |
Zur Spezifikation von Datentypen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Engineering ![In: Software Engineering - Entwurf und Spezifikation, Tagung II/1980 mit Workshop des German Chapter of the ACM vom 12. bis 16.9.1980 in Berlin, pp. 290-292, 1980, Teubner, 3-519-02424-1. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP BibTeX RDF |
|
37 | Hans vor der Brück |
Bewertung von SPECIAL und seiner Tools anhand der formalen Spezifikation von KSOS und PSOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Engineering ![In: Software Engineering - Entwurf und Spezifikation, Tagung II/1980 mit Workshop des German Chapter of the ACM vom 12. bis 16.9.1980 in Berlin, pp. 284-285, 1980, Teubner, 3-519-02424-1. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP BibTeX RDF |
|
37 | Hans-Jörg Kreowski |
Algebraische Spezifikation von Softwaresystemen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Engineering ![In: Software Engineering - Entwurf und Spezifikation, Tagung II/1980 mit Workshop des German Chapter of the ACM vom 12. bis 16.9.1980 in Berlin, pp. 46-74, 1980, Teubner, 3-519-02424-1. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP BibTeX RDF |
|
37 | Werner Simonsmeier |
Wo liegen die Grenzen der praktischen Anwendung formaler Methoden für die Anforderungsdefinition und funktionale Spezifikation? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Engineering ![In: Software Engineering - Entwurf und Spezifikation, Tagung II/1980 mit Workshop des German Chapter of the ACM vom 12. bis 16.9.1980 in Berlin, pp. 263-264, 1980, Teubner, 3-519-02424-1. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP BibTeX RDF |
|
37 | W. Oostendorp |
PSDL/PSDA - Ein methodisch integrierter Ansatz für die Spezifikation und den Entwurf von Applikationssoftware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Engineering ![In: Software Engineering - Entwurf und Spezifikation, Tagung II/1980 mit Workshop des German Chapter of the ACM vom 12. bis 16.9.1980 in Berlin, pp. 228-240, 1980, Teubner, 3-519-02424-1. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP BibTeX RDF |
|
37 | Thorsten Spitta |
Problemspezifikation - Ein Instrument zur funktionalen Spezifikation in industriellen Softwareprojekten. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Engineering ![In: Software Engineering - Entwurf und Spezifikation, Tagung II/1980 mit Workshop des German Chapter of the ACM vom 12. bis 16.9.1980 in Berlin, pp. 277-278, 1980, Teubner, 3-519-02424-1. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP BibTeX RDF |
|
37 | Hans-Ludwig Hausen, Monika Müllerburg |
Beschreibungsmittel und Werkzeuge für Spezifikation in Software-Engineering-Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Engineering ![In: Software Engineering - Entwurf und Spezifikation, Tagung II/1980 mit Workshop des German Chapter of the ACM vom 12. bis 16.9.1980 in Berlin, pp. 342-344, 1980, Teubner, 3-519-02424-1. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP BibTeX RDF |
|
37 | Hartmut Ehrig, Werner Fey, Hans-Jörg Kreowski |
Algebraische Spezifikation eines Stücklistensystems - eine Fallstudie. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Engineering ![In: Software Engineering - Entwurf und Spezifikation, Tagung II/1980 mit Workshop des German Chapter of the ACM vom 12. bis 16.9.1980 in Berlin, pp. 75-90, 1980, Teubner, 3-519-02424-1. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP BibTeX RDF |
|
37 | Alfred L. Luft, D. Steinbauer |
Vom Konzept zur abstrakten Spezifikation: Bemerkungen zur Bedeutung konstruktiver abstrakter Datentypen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Engineering ![In: Software Engineering - Entwurf und Spezifikation, Tagung II/1980 mit Workshop des German Chapter of the ACM vom 12. bis 16.9.1980 in Berlin, pp. 271-272, 1980, Teubner, 3-519-02424-1. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP BibTeX RDF |
|
33 | Wolfgang Reif |
Formale Methoden für sicherheitskritische Software - Der KIV-Ansatz. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inform. Forsch. Entwickl. ![In: Inform. Forsch. Entwickl. 14(4), pp. 193-202, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Softwaretechnik, Qualitätssicherung, Sichere und korrekte Systeme, Formale Methoden, Spezifikation, Verifikation, Maschinelles Beweisen |
23 | Florian Kammüller, Sören Preibusch |
An industrial application of symbolic model checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inform. Forsch. Entwickl. ![In: Inform. Forsch. Entwickl. 22(2), pp. 95-108, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Schlagworte Symbolisches Model Checking, Mechanische Verifikation, Industrielle Fallstudie, Zustandsbasierte Systeme, Sicherheit, SMV |
23 | Dominik Kuropka, Mathias Weske |
Implementing a Semantic Service Provision Platform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Wirtschaftsinf. ![In: Wirtschaftsinf. 50(1), pp. 16-24, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Stichworte dienstorientierte Architekturen, semantische Dienste, Dienstsuche, Dienstkomposition, Adaptivität, Flexibilität |
23 | Gerhard Wanner, Stefan Siegl |
Modellgetriebene Softwareentwicklung auf Basis von Open-Source-Werkzeugen - reif für die Praxis? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inform. Spektrum ![In: Inform. Spektrum 30(5), pp. 340-352, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
23 | T. Köpsel, Anastasia Noglik, Josef Pauli |
Evolutionäre Algorithmen zur Topologieentwicklung von Neuronalen Netzen für die Roboter-Navigation im praktischen Einsatz. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMS ![In: Autonome Mobile Systeme 2007, 20. Fachgespräch, Kaiserslautern, 18./19. Oktober 2007, pp. 145-151, 2007, Springer, 978-3-540-74763-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Bernhard Westfechtel |
Ein graphbasiertes Managementsystem fuer dynamische Entwicklungsprozesse. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inform. Forsch. Entwickl. ![In: Inform. Forsch. Entwickl. 16(3), pp. 125-144, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Softwarekonfigurationsmanagement, Workflowmanagement, Softwareprozess |
23 | Rüdiger Grimm, Peter Ochsenschläger |
Elektronische Verträge und ihre verbindliche Aushandlung - Ein formales Modell für verbindliche Telekooperation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inform. Forsch. Entwickl. ![In: Inform. Forsch. Entwickl. 15(4), pp. 182-192, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Elektronischer Vertrag, verbindliche Phase, Verpflichtung, Kooperationsziel, Sog in das Ziel, Beweis, Verifikation, Theorie formaler Sprachen, formales Modell |
23 | Werner H. Tack |
Kognitionswissenschaft: eine Interdisziplin. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Kognitionswissenschaft ![In: Kognitionswissenschaft 6(1), pp. 2-8, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
18 | Jennifer Brings |
Spezifikation und Validierung von Zielen für Systems-of-Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2023 |
RDF |
|
18 | Jerome Flender |
Interdisziplinäre Spezifikation produktionstechnischer Systeme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2022 |
RDF |
|
18 | Thomas Gritzner |
wp-Kalkül und relationale Spezifikation kommunizierender Systeme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2022 |
RDF |
|
18 | Tobias Käfer, Andreas Harth |
Spezifikation, Ausführung und Monitoring von Workflows in verteilten Wissensgraphen (Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
GI-Jahrestagung ![In: 50. Jahrestagung der Gesellschaft für Informatik, INFORMATIK 2020 - Back to the Future, Karlsruhe, Germany, 28. September - 2. Oktober 2020, pp. 663-664, 2020, GI, 978-3-88579-701-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Albert Rizaldi |
Formal specification, monitoring, and verification of autonomous vehicles in Isabelle/HOL (Formale Spezifikation, Erfüllbarkeitsanalyse, und formale Verifikation von autonomen Fahrzeugen in Isabelle/HOL) (PDF / PS) ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2020 |
RDF |
|
18 | Sven Jannaber |
Process Modelling Language Engineering - Konstruktion und Spezifikation von Prozessmodellierungssprachen für digitale Arbeitsumgebungen (PDF / PS) ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2020 |
RDF |
|
18 | Jochen Wittmann |
GIS und Simulation: Bestandsaufnahme und Defizite bei der Spezifikation integrierter Modelle in 4D / GIS and Simulation: Survey and Deficits in the Specificationof Integrated Models in 4D. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AGIT Journal Angew. Geoinformatik ![In: AGIT Journal Angew. Geoinformatik 5, pp. 49-59, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
18 | Marc Hesenius |
Spezifikation von Gestensteuerung - Ein hybrider Ansatz. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2019 |
RDF |
|
18 | Jens Lehmann 0003 |
Spezifikation projektspezifischer Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Echtzeit ![In: Echtzeit und Sicherheit - Echtzeit 2018, Fachtagung des gemeinsamen Fachausschusses Echtzeitsysteme von Gesellschaft für Informatik e.V. (GI), VDI/VDE-Gesellschaft für Mess- und Automatisierungstechnik (GMA) und Informationstechnischer Gesellschaft im VDE (ITG), Boppard, 15. und 16. November 2018, pp. 69-78, 2018, Springer Vieweg, 978-3-662-58095-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
18 | Alexandr Uciteli |
Ontologie-basierte Spezifikation, Repräsentation und Anwendung klinischer Metadaten. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2018 |
RDF |
|
18 | Johannes Bürdek |
Rekonfigurierbare Software-Systeme: Spezifikation und Testfallgenerierung. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2018 |
RDF |
|
18 | Eduard C. Groen, Jörg Dörr, Peter Liggesmeyer |
NFR 2017 - 3. Workshop zur Erhebung, Spezifikation und Analyse nichtfunktionaler Anforderungen in der Systementwicklung. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Engineering ![In: Software Engineering 2017, Fachtagung des GI-Fachbereichs Softwaretechnik, 21.-24. Februar 2017, Hannover, Deutschland, pp. 47-48, 2017, GI, 978-3-88579-661-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
18 | Stefan Feldmann, Konstantin Kernschmidt, Birgit Vogel-Heuser |
Konzept eines wissensbasierten Frameworks zur Spezifikation und Diagnose von Inkonsistenzen in mechatronischen Modellen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. ![In: Autom. 64(3), pp. 199-215, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
18 | Gesa Nolte, David Worm, Steffen Wüst, Oliver Gerstheimer |
Service Design = analoges & digitales Produkt-Entwerfen aus einer Hand - Einblick in das Portal-Design + MVP + User Testing + Spezifikation + Product Naming + Erklärfilm + Rollout-Kampagne für einen Logistikdienstleister. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UP ![In: Usability Professionals 2016, Aachen, Germany, September 4-7, 2016, 2016, Gesellschaft für Informatik e.V. / German UPA e.V.. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
18 | Thomas Thüm |
Spezifikation und Verifikation von Produktlinien mit Feature-orientierten Verträgen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ausgezeichnete Informatikdissertationen ![In: Ausgezeichnete Informatikdissertationen 2015, pp. 299-308, 2015, GI, 978-3-88579-975-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
18 | Matthias Wolf 0005 |
Modellbasierte Spezifikation von RESTful SOA auf Basis flexibler SOM-Geschäftsprozessmodelle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2015 |
RDF |
|
18 | Carsten Köllmann |
Die Java Pattern Language: eine graphbasierte Sprache zur Spezifikation komplexer Suchmuster für die statische Quelltextanalyse. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2015 |
RDF |
|
18 | Khalid Ebanhesaten |
Entwicklung und Evaluierung einer Erweiterung der BPMN-Spezifikation für einen modellbasierten und automatisierten Regressionstest verteilter BIS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2015 |
RDF |
|
18 | Axel Hoffmann |
Anforderungsmuster zur Spezifikation soziotechnischer Systeme. Standardisierte Anforderungen der Vertrauenswürdigkeit und Rechtsverträglichkeit. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2014 |
RDF |
|
18 | Beate Hartmann, Andree Teusch, Matthias Wolf 0005 |
Spezifikation von funktionalen und nichtfunktionalen Systemanforderungen auf Basis von Geschäftsprozessmodellen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Wirtschaftsinformatik ![In: 11. Internationale Tagung Wirtschaftsinformatik, Leipzig, Germany, February 27 -- March 1, 2013, pp. 81, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
18 | Nico Krebs |
Universeller Virtueller Computer - Weiterentwicklung der Spezifikation zur effizienteren und vielseitigeren Verwendung in der Langzeitarchivierung. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2013 |
RDF |
|
18 | Florian Muhß |
Entwicklung eines Konzeptes zur Spezifikation standardisierter Leistungsparameter im Rahmen einer industrialisierten Software-Bereitstellung. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2013 |
RDF |
|
18 | Torsten Krämer |
Multi-Modelle und Domänensprache zur effizienten Spezifikation von Prozessmodellen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2013 |
RDF |
|
18 | Dennis Klassen |
Spezifikation, Simulation und Validierung von Prozessoren. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2013 |
RDF |
|
18 | Chris Rupp, Anja Schwarz |
Einfach englisch spezifizieren - Natürlichsprachige Spezifikation in der Fremdsprache. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softwaretechnik-Trends ![In: Softwaretechnik-Trends 32(4), 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
18 | Holger Röder |
Usability patterns: eine Technik zur Spezifikation funktionaler Usability-Merkmale. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2012 |
RDF |
|
18 | Daniel Einig, Klaus Müller, Gerrit Meixner |
Evaluation von Sprachen zur Spezifikation von Transformationen in modellbasierten Entwicklungsprozessen von Benutzungsschnittstellen ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softwaretechnik-Trends ![In: Softwaretechnik-Trends 31(1), 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
18 | Chris Rupp, Thorsten Cziharz |
Mit Regeln zu einer besseren Spezifikation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inform. Spektrum ![In: Inform. Spektrum 34(3), pp. 255-264, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
18 | Jonas Pencke, David Wiesner, Hagen Höpfner, Maximilian Schirmer |
Informationsanbieterzentrierte Spezifikation und Generierung von Informationssystem-Apps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Grundlagen von Datenbanken ![In: Proceedings of the 23rd GI-Workshop `Grundlagen von Datenbanken 2011`, Obergurgl, Austria, May 31 - June 03, 2011, pp. 67-71, 2011, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
18 | Fadi Chabarek, Ulrike Golas |
Interaktive Vervollständigung der Szenariobasierten Spezifikation eines Parkassistenzsystems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GI-Jahrestagung ![In: 41. Jahrestagung der Gesellschaft für Informatik, Informatik schafft Communities, INFORMATIK 2011, Berlin, Germany, October 4-7, 2011, Abstract Proceedings, pp. 209, 2011, GI, 978-88579-286-4-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
18 | Timo Stegemann, Tim Hussein, Werner Gaulke, Jürgen Ziegler 0001 |
X3S: Eine Spezifikation zur Darstellung und interaktiven Exploration semantischer Daten. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GI-Jahrestagung ![In: 41. Jahrestagung der Gesellschaft für Informatik, Informatik schafft Communities, INFORMATIK 2011, Berlin, Germany, October 4-7, 2011, Abstract Proceedings, pp. 259, 2011, GI, 978-88579-286-4-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
18 | Thomas Ruhroth |
Generische Refactoring-Spezifikation für Korrektheitsbeweise in mehrsichtigen Modellsprachen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2011 |
RDF |
|
18 | Denis Pondorf |
Freestyle markup language: Spezifikation einer polyhierarchischen Auszeichnungssprache. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2011 |
RDF |
|
18 | Daniel Einig, Klaus Müller, Gerrit Meixner |
Evaluation von Sprachen zur Spezifikation von Transformationen in modellbasierten Entwicklungsprozessen von Benutzungsschnittstellen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softwaretechnik-Trends ![In: Softwaretechnik-Trends 30(4), 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
18 | Detlef Klett, Söntje Julia Hilberg |
Die neue DIN-Spezifikation für das Outsourcing - Inhalt und praktische Anwendung. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer und Recht ![In: Computer und Recht 26(7), pp. 417-421, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
18 | Torsten Emmanuel |
Planguage - Spezifikation nichtfunktionaler Anforderungen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inform. Spektrum ![In: Inform. Spektrum 33(3), pp. 292-295, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
18 | Christian Haubelt, Jürgen Teich |
Digitale Hardware/Software-Systeme: Spezifikation und Verifikation ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2010 |
DOI RDF |
|
18 | Jörg Dörr, Peter Liggesmeyer |
3. Workshop zur Erhebung, Spezifikation und Analyse nichtfunktionaler Anforderungen in der Systementwicklung. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Engineering ![In: Software Engineering 2010 - Fachtagung des GI-Fachbereichs Softwaretechnik, 22.-26.2.2010 in Paderborn, pp. 243, 2010, GI, 978-3-88579-253-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
18 | Martin Schweikert, Hans Eveking |
Verwendung von UML Sequenzdiagrammen zur Spezifikation und Generierung von RTL Eigenschaftssätzen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBMV ![In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Dresden, Germany, February 22-24, 2010, pp. 177-186, 2010, Fraunhofer Verlag. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
18 | Martin Leidl, Antje Müller, Nikola Ivanov |
Unterstützung von Personal Learning Environments und M-Learning durch die Metaformat-Spezifikation zur Beschreibung von Lehrveranstaltungen (SEMBL). ![Search on Bibsonomy](Pics/bibsonomy.png) |
MuC (Workshopband) ![In: Interaktive Kulturen: Workshop-Band. Proceedings der Workshops der Mensch & Computer 2010 - 10. Fachübergreifende Konferenz für Interaktive und Kooperative Medien, DeLFI 2010 - die 8. E-Learning Fachtagung Informatik der Gesellschaft für Informatik e.V. und der Entertainment Interfaces 2010, Duisburg, Germany, September 12-15, 2010, pp. 210-215, 2010, Logos Verlag. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
18 | Marcel Dausend, Mark Poguntke |
Spezifikation multimodaler Interaktionsanwendungen mit UML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MuC ![In: Mensch & Computer 2010: Interaktive Kulturen, Interdisziplinäre Fachtagung, Duisburg, Germany, September 12-15, 2010, pp. 215-224, 2010, Oldenbourg Verlag. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
18 | Nurije Ljaci |
Integration von MockUp-Konzepten in die Spezifikation grafischer Bedienoberflächen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Informatiktage ![In: Informatiktage 2010 - Fachwissenschaftlicher Informatik-Kongress 19. und 20. März 2010, B-IT Bonn-Aachen International Center for Information Technology in Bonn, pp. 73-76, 2010, GI, 978-3-88579-443-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
18 | Raik Kuhlisch, Jörg Caumanns |
Deklarative Sicherheit zur Spezifikation und Implementierung der elektronischen Fallakte. ![Search on Bibsonomy](Pics/bibsonomy.png) |
perspeGKtive ![In: perspeGKtive 2010 - Workshop `Innovative und sichere Informationstechnologie für das Gesundheitswesen von morgen`, 8. September 2010, Mannheim, pp. 39-52, 2010, GI, 978-3-88579-268-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
18 | Eric Sax |
Testen von Elektronik in der Automobilindustrie - von der ausführbaren Spezifikation bis zum automatisierten Test im Fahrzeug. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Engineering ![In: Software Engineering 2009: Fachtagung des GI-Fachbereichs Softwaretechnik 02.-06.03. 2009 in Kaiserslautern, pp. 9-10, 2009, GI, 978-3-88579-237-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
18 | Stefan Finke |
Workflow-Spezifikation für einen Knowledge Server - Konzeption und prototypische Umsetzung XML-basierter Server-Workflows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Informatiktage ![In: Informatiktage 2009 - Fachwissenschaftlicher Informatik-Kongress 27. und 28. März 2009, B-IT Bonn-Aachen International Center for Information Technology in Bonn, pp. 59-62, 2009, GI, 978-3-88579-442-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
18 | Jochen Wulf, Thorsten Hau, Rüdiger Zarnekow, Walter Brenner |
Enabling Services - Spezifikation plattformbasierter Vorleistungen in der Telekommunikation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GI Jahrestagung ![In: 39. Jahrestagung der Gesellschaft für Informatik, Im Focus das Leben, INFORMATIK 2009, Lübeck, Germany, September 28 - October 2, 2009, Proceedings, pp. 2634-2647, 2009, GI, 978-3-88579-248-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
18 | Uwe Katzke |
Spezifikation und Anwendung einer Modellierungssprache für die Automatisierungstechnik auf Basis der Unified Modeling Language (UML). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2009 |
RDF |
|
18 | Matthias Hamm |
Eine Methode zur Spezifikation der IT-Service-Managementprozesse Verketteter Dienste. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2009 |
RDF |
|
18 | Jörg Dörr, Peter Liggesmeyer |
2. Workshop zur Erhebung, Spezifikation und Analyse nichtfunktionaler Anforderungen in der Systementwicklung. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Engineering ![In: Software Engineering 2008. Fachtagung des GI-Fachbereichs Softwaretechnik, 18.-22.2.2008 in München, pp. 300-301, 2008, GI, 978-3-88579-215-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
18 | Jörg Dörr, Peter Liggesmeyer |
2. Workshop zur Erhebung, Spezifikation und Analyse nichtfunktionaler Anforderungen in der Systementwicklung. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Engineering (Workshops) ![In: Software Engineering 2008 - Workshopband, Fachtagung des GI-Fachbereichs Softwaretechnik, 18.-22.2.2008 in München, pp. 449-450, 2008, GI, 978-3-88579-216-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
18 | Michael Goedicke, Moritz Balz, Michael Striewe |
UPPAAL-Modelle als ausführbare Spezifikation in Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Engineering (Workshops) ![In: Software Engineering 2008 - Workshopband, Fachtagung des GI-Fachbereichs Softwaretechnik, 18.-22.2.2008 in München, pp. 212-218, 2008, GI, 978-3-88579-216-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
18 | Patrick Delfmann, Sebastian Herwig, Lukasz Lis, Armin Stein |
Eine Methode zur formalen Spezifikation und Umsetzung von Bezeichnungskonventionen für fachkonzeptionelle Informationsmodelle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MobIS ![In: Modellierung betrieblicher Informationssysteme - Modellierung zwischen SOA und Compliance Management - 27.-28. November 2008 Saarbrücken, Germany, pp. 23-38, 2008, GI, 978-3-88579-235-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
18 | Jörg Ackermann 0002 |
Zur Weiterentwicklung der Spezifikation Betrieblicher Softwarekomponenten. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MobIS Workshops ![In: Proceedings of the Workshops colocated with the MobIS2008 Conference: Including EPK2008, KobAS2008 and ModKollGP2008, Saarbrücken, Germany, November 27-28, 2008, pp. 44-63, 2008, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
18 | Alexander Roth 0002 |
Spezifikation und Entwicklung universitärer Lern- und Arbeitsumgebungen. (PDF / PS) ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2008 |
RDF |
|
18 | Jörg Dörr, Peter Liggesmeyer |
WG6: Erhebung, Spezifikation und Analyse nichtfunktionaler Anforderungen in der Systementwicklung. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Engineering ![In: Software Engineering 2007, Fachtagung des GI-Fachbereichs Softwaretechnik, 27.-30.3.2007 in Hamburg, pp. 285-286, 2007, GI, 978-3-88579-199-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
18 | Ingo Stürmer, Heiko Dörr, Holger Giese, Udo Kelter, Andy Schürr, Albert Zündorf |
Das MATE Projekt - visuelle Spezifikation von MATLAB Simulink/Stateflow Analysen und Transformationen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBEES ![In: Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme III, Schloss Dagstuhl, Germany, 15.-18. Januar 2007, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme, pp. 83-94, 2007, TU Braunschweig, Institut für Software Systems Engineering. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
18 | Thomas Memmel, Mathias Heilig, Tobias Schwarz, Harald Reiterer |
Visuelle Spezifikation interaktiver Softwaresysteme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MuC ![In: Mensch & Computer 2007: Interaktion im Plural - Konferenz für interaktive und kooperative Medien, Bauhaus-Universität Weimar, Weimar, Germany, September 2-5, 2007, pp. 307-310, 2007, Oldenbourg Verlag, 978-3-486-58496-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
18 | Thomas Memmel, Harald Reiterer, Heiko Ziegler, Richard Oed |
Visuelle Spezifikation zur Stärkung der Auftraggeber- Kompetenz bei der Gestaltung interaktiver Systeme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UP ![In: Berichtband des fünften Workshops des German Chapters der Usability Professionals Association e.V., Usability Professionals 2007, Weimar, Germany, September 2-5, 2007, pp. 127-132, 2007, Fraunhofer Verlag. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
18 | Peter Forbrig, Daniel Reichart |
Ein Werkzeug zur Spezifikation von Dialoggraphen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MuC ![In: Mensch & Computer 2007: Interaktion im Plural - Konferenz für interaktive und kooperative Medien, Bauhaus-Universität Weimar, Weimar, Germany, September 2-5, 2007, pp. 253-256, 2007, Oldenbourg Verlag, 978-3-486-58496-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
18 | Jörg Becker 0001, Stefan Seidel, Christian Janiesch |
Konzeption des Unternehmensreportings - Ein modellgestütztes Vorgehensmodell zur fachkonzeptionellen Spezifikation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Wirtschaftsinformatik (1) ![In: eOrganisation: Service-, Prozess-, Market-Engineering: 8. Internationale Tagung Wirtschaftsinformatik - Band 1, WI 2007, Karlsruhe, Germany, February 28 - March 2, 2007, pp. 605-622, 2007, Universitaetsverlag Karlsruhe, 978-3-86644-094-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
18 | Peter Forbrig, Daniel Reichart |
Spezifikation von "Multiple User Interfaces" mit Dialoggraphen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GI Jahrestagung (1) ![In: 37. Jahrestagung der Gesellschaft für Informatik, Informatik trifft Logistik, INFORMATIK 2007, Bremen, Germany, September 24-27, 2007, Band 1, pp. 449-453, 2007, GI, 978-3-88579-203-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
18 | Friedemann Bitsch |
Verfahren zur Spezifikation funktionaler Sicherheitsanforderungen für Automatisierungssysteme in Temporallogik. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2007 |
RDF |
|
18 | Sven Overhage |
Vereinheitlichte Spezifikation von Komponenten - Grundlagen, UNSCOM Spezifikationsrahmen und Anwendung. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2006 |
RDF |
|
18 | Axel Schneider, Thomas Bluhm, Tobias Renner, Ulrich Heinkel, Joachim Knäblein, Reynaldo Zavala |
Formale Spezifikation und Verifikation abstrakter Beschreibungen von Telekommunikationsprotokollen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBMV ![In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Dresden, Germany, February 20-22, 2006, pp. 339-348, 2006, Fraunhofer Institut für Integrierte Schaltungen. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
18 | Richard Bogenberger, David Trachtenherz |
Qualitätssteigerung der Automotive-Software durch formale Spezifikation funktionaler Eigenschaften auf der Abstraktionsebene des Modellentwurfs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Modellierung ![In: Modellierung 2006, 22.-24. März 2006, Innsbruck, Tirol, Austria, Proceedings, pp. 35-49, 2006, GI, 3-88579-176-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
18 | Sven Overhage |
Vereinheitlichte Spezifikation von Komponenten: Grundlagen, UnSCom Spezifikationsrahmen und Anwendung. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ausgezeichnete Informatikdissertationen ![In: Ausgezeichnete Informatikdissertationen 2006, pp. 149-158, 2006, GI, 978-3-88579-411-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
18 | Martin Wild |
Spezifikation und Analyse von funktionalen Anforderungen an Web-Sites. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2006 |
RDF |
|
18 | Adrianna Alexander |
Komposition temporallogischer Spezifikationen: Spezifikation und Verifikation von Systemen mit Temporal Logic of Distributed Actions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2006 |
RDF |
|
18 | Matthias Book, Volker Gruhn |
Modulare Spezifikation und Steuerung von Dialogen in web-baiserten Anwendungen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Engineering ![In: Software Engineering 2005, Fachtagung des GI-Fachbereichs Softwaretechnik, 8.-11.3.2005 in Essen, pp. 179-188, 2005, GI, 3-88579-393-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
18 | Matthias Grochtmann, Linda Schmuhl |
Systemverhaltensmodelle zur Spezifikation bei der modellbasierten Entwicklung von eingebetteter Software im Automobil. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBEES ![In: Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme I, Schloss Dagstuhl, Germany, 10.-14. Januar 2005, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme, pp. 37-43, 2005, TU Braunschweig, Institut für Software Systems Engineering. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
18 | Matthias Peissner, Franz Koller, Paul Chlebek, Markus Hillebrand, Markus Turber |
Kommunikation und Spezifikation von User Interface Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UP ![In: Berichtband des dritten Workshops des German Chapters der Usability Professionals Association e.V., Usability Professionals 2005, Linz, Austria, September 4-7, 2005, pp. 122-126, 2005, Fraunhofer Verlag. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
18 | Frank Klotz |
EMV Test Spezifikation für Integrierte Schaltungen (ICs). ![Search on Bibsonomy](Pics/bibsonomy.png) |
GMM EMV ![In: Elektromagnetische Verträglichkeit in der KFZ-Technik, Vorträge der GMM-Fachtagung vom 26. bis 27. Oktober 2005 in Ingolstadt, pp. 133-138, 2005, VDE-Verlag, 3-8007-2920-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
18 | Volker Schmitz, Jörg Leukel, Martin Hepp |
Integrierte Spezifikation und Dokumentation von E-Business-Standards mit XML Schema-Annotationen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Berliner XML Tage ![In: Berliner XML Tage 2005, Humboldt-Universität zu Berlin, 12. bis 14. September 2005, pp. 179-190, 2005, 3-9810105-2-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
18 | Christoph Ballhause, Ramin Tavakoli Kolagari |
Hardware-unabhängige Spezifikation von Steuergeräte-Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softwaretechnik-Trends ![In: Softwaretechnik-Trends 24(4), 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
18 | Gerhard Weiß 0001, Johann Duscher, Matthias Nickles, Michael Rovatsos |
Spezifikation von Softwareautonomie. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Künstliche Intell. ![In: Künstliche Intell. 18(4), pp. 44-, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
18 | Jörg Becker 0001, Patrick Delfmann, Ralf Knackstedt |
Konstruktion von Referenzmodellierungssprachen Ein Ordnungsrahmen zur Spezifikation von Adaptionsmechanismen für Informationsmodelle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Wirtschaftsinf. ![In: Wirtschaftsinf. 46(4), pp. 251-264, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Stefan Hepper |
The Java Portlet Specification (Die Java Portlet Spezifikation). ![Search on Bibsonomy](Pics/bibsonomy.png) |
it Inf. Technol. ![In: it Inf. Technol. 46(5), pp. 233-244, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Sven Overhage |
Zur Spezifikation von Komponenten der Informationssystementwicklung mit Softwareverträgen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MobIS ![In: Modellierung betrieblicher Informationssysteme - MobIS 2004, Proceedings zur Tagung, 10. März 2004, Essen, pp. 3-20, 2004, GI, 3-88579-369-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
18 | Peter Fettke, Peter Loos, Kai Pastor |
Ein UML-basiertes Metamodell zum Memorandum zur vereinheitlichten Spezifikation von Fachkomponenten. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AKA ![In: Architekturen, Komponenten, Anwendungen - Proceedings zur 1. Verbundtagung Architekturen, Komponenten, Anwendungen (AKA 2004), Universität Augsburg, 2.-3. Dezember 2004, pp. 181-201, 2004, GI. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|