| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 68 | Hermann von Issendorff |
Time and Logic: A Calculus of Binary Events.  |
Computing  |
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. |
Inform. Spektrum |
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. |
Computing |
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. |
|
2016 |
RDF |
|
| 37 | Heinrich C. Mayr |
Zur Spezifikation von Datentypen. |
Software Engineering |
1980 |
DBLP BibTeX RDF |
|
| 37 | Hans vor der Brück |
Bewertung von SPECIAL und seiner Tools anhand der formalen Spezifikation von KSOS und PSOS. |
Software Engineering |
1980 |
DBLP BibTeX RDF |
|
| 37 | Hans-Jörg Kreowski |
Algebraische Spezifikation von Softwaresystemen. |
Software Engineering |
1980 |
DBLP BibTeX RDF |
|
| 37 | Werner Simonsmeier |
Wo liegen die Grenzen der praktischen Anwendung formaler Methoden für die Anforderungsdefinition und funktionale Spezifikation? |
Software Engineering |
1980 |
DBLP BibTeX RDF |
|
| 37 | W. Oostendorp |
PSDL/PSDA - Ein methodisch integrierter Ansatz für die Spezifikation und den Entwurf von Applikationssoftware. |
Software Engineering |
1980 |
DBLP BibTeX RDF |
|
| 37 | Thorsten Spitta |
Problemspezifikation - Ein Instrument zur funktionalen Spezifikation in industriellen Softwareprojekten. |
Software Engineering |
1980 |
DBLP BibTeX RDF |
|
| 37 | Hans-Ludwig Hausen, Monika Müllerburg |
Beschreibungsmittel und Werkzeuge für Spezifikation in Software-Engineering-Environments. |
Software Engineering |
1980 |
DBLP BibTeX RDF |
|
| 37 | Hartmut Ehrig, Werner Fey, Hans-Jörg Kreowski |
Algebraische Spezifikation eines Stücklistensystems - eine Fallstudie. |
Software Engineering |
1980 |
DBLP BibTeX RDF |
|
| 37 | Alfred L. Luft, D. Steinbauer |
Vom Konzept zur abstrakten Spezifikation: Bemerkungen zur Bedeutung konstruktiver abstrakter Datentypen. |
Software Engineering |
1980 |
DBLP BibTeX RDF |
|
| 33 | Wolfgang Reif |
Formale Methoden für sicherheitskritische Software - Der KIV-Ansatz. |
Inform. Forsch. Entwickl. |
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. |
Inform. Forsch. Entwickl. |
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. |
Wirtschaftsinf. |
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? |
Inform. Spektrum |
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. |
AMS |
2007 |
DBLP DOI BibTeX RDF |
|
| 23 | Bernhard Westfechtel |
Ein graphbasiertes Managementsystem fuer dynamische Entwicklungsprozesse. |
Inform. Forsch. Entwickl. |
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. |
Inform. Forsch. Entwickl. |
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. |
Kognitionswissenschaft |
1997 |
DBLP DOI BibTeX RDF |
|
| 18 | Jennifer Brings |
Spezifikation und Validierung von Zielen für Systems-of-Systems. |
|
2023 |
RDF |
|
| 18 | Jerome Flender |
Interdisziplinäre Spezifikation produktionstechnischer Systeme. |
|
2022 |
RDF |
|
| 18 | Thomas Gritzner |
wp-Kalkül und relationale Spezifikation kommunizierender Systeme. |
|
2022 |
RDF |
|
| 18 | Tobias Käfer, Andreas Harth |
Spezifikation, Ausführung und Monitoring von Workflows in verteilten Wissensgraphen (Abstract). |
GI-Jahrestagung |
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) |
|
2020 |
RDF |
|
| 18 | Sven Jannaber |
Process Modelling Language Engineering - Konstruktion und Spezifikation von Prozessmodellierungssprachen für digitale Arbeitsumgebungen (PDF / PS) |
|
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. |
AGIT Journal Angew. Geoinformatik |
2019 |
DBLP DOI BibTeX RDF |
|
| 18 | Marc Hesenius |
Spezifikation von Gestensteuerung - Ein hybrider Ansatz. |
|
2019 |
RDF |
|
| 18 | Jens Lehmann 0003 |
Spezifikation projektspezifischer Software. |
Echtzeit |
2018 |
DBLP DOI BibTeX RDF |
|
| 18 | Alexandr Uciteli |
Ontologie-basierte Spezifikation, Repräsentation und Anwendung klinischer Metadaten. |
|
2018 |
RDF |
|
| 18 | Johannes Bürdek |
Rekonfigurierbare Software-Systeme: Spezifikation und Testfallgenerierung. |
|
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. |
Software Engineering |
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. |
Autom. |
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. |
UP |
2016 |
DBLP DOI BibTeX RDF |
|
| 18 | Thomas Thüm |
Spezifikation und Verifikation von Produktlinien mit Feature-orientierten Verträgen. |
Ausgezeichnete Informatikdissertationen |
2015 |
DBLP BibTeX RDF |
|
| 18 | Matthias Wolf 0005 |
Modellbasierte Spezifikation von RESTful SOA auf Basis flexibler SOM-Geschäftsprozessmodelle. |
|
2015 |
RDF |
|
| 18 | Carsten Köllmann |
Die Java Pattern Language: eine graphbasierte Sprache zur Spezifikation komplexer Suchmuster für die statische Quelltextanalyse. |
|
2015 |
RDF |
|
| 18 | Khalid Ebanhesaten |
Entwicklung und Evaluierung einer Erweiterung der BPMN-Spezifikation für einen modellbasierten und automatisierten Regressionstest verteilter BIS. |
|
2015 |
RDF |
|
| 18 | Axel Hoffmann |
Anforderungsmuster zur Spezifikation soziotechnischer Systeme. Standardisierte Anforderungen der Vertrauenswürdigkeit und Rechtsverträglichkeit. |
|
2014 |
RDF |
|
| 18 | Beate Hartmann, Andree Teusch, Matthias Wolf 0005 |
Spezifikation von funktionalen und nichtfunktionalen Systemanforderungen auf Basis von Geschäftsprozessmodellen. |
Wirtschaftsinformatik |
2013 |
DBLP BibTeX RDF |
|
| 18 | Nico Krebs |
Universeller Virtueller Computer - Weiterentwicklung der Spezifikation zur effizienteren und vielseitigeren Verwendung in der Langzeitarchivierung. |
|
2013 |
RDF |
|
| 18 | Florian Muhß |
Entwicklung eines Konzeptes zur Spezifikation standardisierter Leistungsparameter im Rahmen einer industrialisierten Software-Bereitstellung. |
|
2013 |
RDF |
|
| 18 | Torsten Krämer |
Multi-Modelle und Domänensprache zur effizienten Spezifikation von Prozessmodellen. |
|
2013 |
RDF |
|
| 18 | Dennis Klassen |
Spezifikation, Simulation und Validierung von Prozessoren. |
|
2013 |
RDF |
|
| 18 | Chris Rupp, Anja Schwarz |
Einfach englisch spezifizieren - Natürlichsprachige Spezifikation in der Fremdsprache. |
Softwaretechnik-Trends |
2012 |
DBLP BibTeX RDF |
|
| 18 | Holger Röder |
Usability patterns: eine Technik zur Spezifikation funktionaler Usability-Merkmale. |
|
2012 |
RDF |
|
| 18 | Daniel Einig, Klaus Müller, Gerrit Meixner |
Evaluation von Sprachen zur Spezifikation von Transformationen in modellbasierten Entwicklungsprozessen von Benutzungsschnittstellen |
Softwaretechnik-Trends |
2011 |
DBLP BibTeX RDF |
|
| 18 | Chris Rupp, Thorsten Cziharz |
Mit Regeln zu einer besseren Spezifikation. |
Inform. Spektrum |
2011 |
DBLP DOI BibTeX RDF |
|
| 18 | Jonas Pencke, David Wiesner, Hagen Höpfner, Maximilian Schirmer |
Informationsanbieterzentrierte Spezifikation und Generierung von Informationssystem-Apps. |
Grundlagen von Datenbanken |
2011 |
DBLP BibTeX RDF |
|
| 18 | Fadi Chabarek, Ulrike Golas |
Interaktive Vervollständigung der Szenariobasierten Spezifikation eines Parkassistenzsystems. |
GI-Jahrestagung |
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. |
GI-Jahrestagung |
2011 |
DBLP BibTeX RDF |
|
| 18 | Thomas Ruhroth |
Generische Refactoring-Spezifikation für Korrektheitsbeweise in mehrsichtigen Modellsprachen. |
|
2011 |
RDF |
|
| 18 | Denis Pondorf |
Freestyle markup language: Spezifikation einer polyhierarchischen Auszeichnungssprache. |
|
2011 |
RDF |
|
| 18 | Daniel Einig, Klaus Müller, Gerrit Meixner |
Evaluation von Sprachen zur Spezifikation von Transformationen in modellbasierten Entwicklungsprozessen von Benutzungsschnittstellen. |
Softwaretechnik-Trends |
2010 |
DBLP BibTeX RDF |
|
| 18 | Detlef Klett, Söntje Julia Hilberg |
Die neue DIN-Spezifikation für das Outsourcing - Inhalt und praktische Anwendung. |
Computer und Recht |
2010 |
DBLP DOI BibTeX RDF |
|
| 18 | Torsten Emmanuel |
Planguage - Spezifikation nichtfunktionaler Anforderungen. |
Inform. Spektrum |
2010 |
DBLP DOI BibTeX RDF |
|
| 18 | Christian Haubelt, Jürgen Teich |
Digitale Hardware/Software-Systeme: Spezifikation und Verifikation |
|
2010 |
DOI RDF |
|
| 18 | Jörg Dörr, Peter Liggesmeyer |
3. Workshop zur Erhebung, Spezifikation und Analyse nichtfunktionaler Anforderungen in der Systementwicklung. |
Software Engineering |
2010 |
DBLP BibTeX RDF |
|
| 18 | Martin Schweikert, Hans Eveking |
Verwendung von UML Sequenzdiagrammen zur Spezifikation und Generierung von RTL Eigenschaftssätzen. |
MBMV |
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). |
MuC (Workshopband) |
2010 |
DBLP BibTeX RDF |
|
| 18 | Marcel Dausend, Mark Poguntke |
Spezifikation multimodaler Interaktionsanwendungen mit UML. |
MuC |
2010 |
DBLP BibTeX RDF |
|
| 18 | Nurije Ljaci |
Integration von MockUp-Konzepten in die Spezifikation grafischer Bedienoberflächen. |
Informatiktage |
2010 |
DBLP BibTeX RDF |
|
| 18 | Raik Kuhlisch, Jörg Caumanns |
Deklarative Sicherheit zur Spezifikation und Implementierung der elektronischen Fallakte. |
perspeGKtive |
2010 |
DBLP BibTeX RDF |
|
| 18 | Eric Sax |
Testen von Elektronik in der Automobilindustrie - von der ausführbaren Spezifikation bis zum automatisierten Test im Fahrzeug. |
Software Engineering |
2009 |
DBLP BibTeX RDF |
|
| 18 | Stefan Finke |
Workflow-Spezifikation für einen Knowledge Server - Konzeption und prototypische Umsetzung XML-basierter Server-Workflows. |
Informatiktage |
2009 |
DBLP BibTeX RDF |
|
| 18 | Jochen Wulf, Thorsten Hau, Rüdiger Zarnekow, Walter Brenner |
Enabling Services - Spezifikation plattformbasierter Vorleistungen in der Telekommunikation. |
GI Jahrestagung |
2009 |
DBLP BibTeX RDF |
|
| 18 | Uwe Katzke |
Spezifikation und Anwendung einer Modellierungssprache für die Automatisierungstechnik auf Basis der Unified Modeling Language (UML). |
|
2009 |
RDF |
|
| 18 | Matthias Hamm |
Eine Methode zur Spezifikation der IT-Service-Managementprozesse Verketteter Dienste. |
|
2009 |
RDF |
|
| 18 | Jörg Dörr, Peter Liggesmeyer |
2. Workshop zur Erhebung, Spezifikation und Analyse nichtfunktionaler Anforderungen in der Systementwicklung. |
Software Engineering |
2008 |
DBLP BibTeX RDF |
|
| 18 | Jörg Dörr, Peter Liggesmeyer |
2. Workshop zur Erhebung, Spezifikation und Analyse nichtfunktionaler Anforderungen in der Systementwicklung. |
Software Engineering (Workshops) |
2008 |
DBLP BibTeX RDF |
|
| 18 | Michael Goedicke, Moritz Balz, Michael Striewe |
UPPAAL-Modelle als ausführbare Spezifikation in Java. |
Software Engineering (Workshops) |
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. |
MobIS |
2008 |
DBLP BibTeX RDF |
|
| 18 | Jörg Ackermann 0002 |
Zur Weiterentwicklung der Spezifikation Betrieblicher Softwarekomponenten. |
MobIS Workshops |
2008 |
DBLP BibTeX RDF |
|
| 18 | Alexander Roth 0002 |
Spezifikation und Entwicklung universitärer Lern- und Arbeitsumgebungen. (PDF / PS) |
|
2008 |
RDF |
|
| 18 | Jörg Dörr, Peter Liggesmeyer |
WG6: Erhebung, Spezifikation und Analyse nichtfunktionaler Anforderungen in der Systementwicklung. |
Software Engineering |
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. |
MBEES |
2007 |
DBLP BibTeX RDF |
|
| 18 | Thomas Memmel, Mathias Heilig, Tobias Schwarz, Harald Reiterer |
Visuelle Spezifikation interaktiver Softwaresysteme. |
MuC |
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. |
UP |
2007 |
DBLP BibTeX RDF |
|
| 18 | Peter Forbrig, Daniel Reichart |
Ein Werkzeug zur Spezifikation von Dialoggraphen. |
MuC |
2007 |
DBLP BibTeX RDF |
|
| 18 | Jörg Becker 0001, Stefan Seidel, Christian Janiesch |
Konzeption des Unternehmensreportings - Ein modellgestütztes Vorgehensmodell zur fachkonzeptionellen Spezifikation. |
Wirtschaftsinformatik (1) |
2007 |
DBLP BibTeX RDF |
|
| 18 | Peter Forbrig, Daniel Reichart |
Spezifikation von "Multiple User Interfaces" mit Dialoggraphen. |
GI Jahrestagung (1) |
2007 |
DBLP BibTeX RDF |
|
| 18 | Friedemann Bitsch |
Verfahren zur Spezifikation funktionaler Sicherheitsanforderungen für Automatisierungssysteme in Temporallogik. |
|
2007 |
RDF |
|
| 18 | Sven Overhage |
Vereinheitlichte Spezifikation von Komponenten - Grundlagen, UNSCOM Spezifikationsrahmen und Anwendung. |
|
2006 |
RDF |
|
| 18 | Axel Schneider, Thomas Bluhm, Tobias Renner, Ulrich Heinkel, Joachim Knäblein, Reynaldo Zavala |
Formale Spezifikation und Verifikation abstrakter Beschreibungen von Telekommunikationsprotokollen. |
MBMV |
2006 |
DBLP BibTeX RDF |
|
| 18 | Richard Bogenberger, David Trachtenherz |
Qualitätssteigerung der Automotive-Software durch formale Spezifikation funktionaler Eigenschaften auf der Abstraktionsebene des Modellentwurfs. |
Modellierung |
2006 |
DBLP BibTeX RDF |
|
| 18 | Sven Overhage |
Vereinheitlichte Spezifikation von Komponenten: Grundlagen, UnSCom Spezifikationsrahmen und Anwendung. |
Ausgezeichnete Informatikdissertationen |
2006 |
DBLP BibTeX RDF |
|
| 18 | Martin Wild |
Spezifikation und Analyse von funktionalen Anforderungen an Web-Sites. |
|
2006 |
RDF |
|
| 18 | Adrianna Alexander |
Komposition temporallogischer Spezifikationen: Spezifikation und Verifikation von Systemen mit Temporal Logic of Distributed Actions. |
|
2006 |
RDF |
|
| 18 | Matthias Book, Volker Gruhn |
Modulare Spezifikation und Steuerung von Dialogen in web-baiserten Anwendungen. |
Software Engineering |
2005 |
DBLP BibTeX RDF |
|
| 18 | Matthias Grochtmann, Linda Schmuhl |
Systemverhaltensmodelle zur Spezifikation bei der modellbasierten Entwicklung von eingebetteter Software im Automobil. |
MBEES |
2005 |
DBLP BibTeX RDF |
|
| 18 | Matthias Peissner, Franz Koller, Paul Chlebek, Markus Hillebrand, Markus Turber |
Kommunikation und Spezifikation von User Interface Design. |
UP |
2005 |
DBLP BibTeX RDF |
|
| 18 | Frank Klotz |
EMV Test Spezifikation für Integrierte Schaltungen (ICs). |
GMM EMV |
2005 |
DBLP BibTeX RDF |
|
| 18 | Volker Schmitz, Jörg Leukel, Martin Hepp |
Integrierte Spezifikation und Dokumentation von E-Business-Standards mit XML Schema-Annotationen. |
Berliner XML Tage |
2005 |
DBLP BibTeX RDF |
|
| 18 | Christoph Ballhause, Ramin Tavakoli Kolagari |
Hardware-unabhängige Spezifikation von Steuergeräte-Software. |
Softwaretechnik-Trends |
2004 |
DBLP BibTeX RDF |
|
| 18 | Gerhard Weiß 0001, Johann Duscher, Matthias Nickles, Michael Rovatsos |
Spezifikation von Softwareautonomie. |
Künstliche Intell. |
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. |
Wirtschaftsinf. |
2004 |
DBLP DOI BibTeX RDF |
|
| 18 | Stefan Hepper |
The Java Portlet Specification (Die Java Portlet Spezifikation). |
it Inf. Technol. |
2004 |
DBLP DOI BibTeX RDF |
|
| 18 | Sven Overhage |
Zur Spezifikation von Komponenten der Informationssystementwicklung mit Softwareverträgen. |
MobIS |
2004 |
DBLP BibTeX RDF |
|
| 18 | Peter Fettke, Peter Loos, Kai Pastor |
Ein UML-basiertes Metamodell zum Memorandum zur vereinheitlichten Spezifikation von Fachkomponenten. |
AKA |
2004 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license