„System description languages“

Suchergebnisse

1.000+ Treffer

• Using Feature-Based Description Logics to avoid Duplicate Elimination in Object-Relational Query Languages
  Toman, David ; Weddell, Grant E.
• Software Architecture in Action – Designing and Executing Architectural Models with SysADL Grounded on the OMG SysML Standard
  Oquendo, Flavio ; Leite, Jair Cavalcanti ; Batista, Thais 2016 Springer International Publishing
• Model-Driven Dependability Assessment of Software Systems
  Bernardi, Simona ; Merseguer, Jose ; Petriu, Dorina C. 2013 Springer Berlin Heidelberg
• Timing model derivation – static analysis of hardware description languages
  Schlickling, Marc ; Wilhelm, Reinhard 2013 Saarländische Universitäts- und Landesbibliothek
• Timing model derivation – pipeline analyzer generation from hardware description languages
  Pister, Markus ; Wilhelm, Reinhard 2012 Saarländische Universitäts- und Landesbibliothek
• Beyond Synthesis: Mastering VHDL for Efficient System Design
  Nami 2024 tredition
• Descriptional Complexity of Formal Systems – 15th International Workshop, DCFS 2013, London, ON, Canada, July 22-25, 2013. Proceedings
  Jürgensen, Helmut ; Reis, Rogério 2013 Springer Berlin Heidelberg
• Descriptional Complexity of Formal Systems – 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012. Proceedings
  Kutrib, Martin ; Moreira, Nelma ; Reis, Rogério 2012 Springer Berlin Heidelberg
• Formal Methods for Model-Driven Engineering – 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures
  Bernardo, Marco ; Cortellessa, Vittorio ; Pierantonio, Alfonso 2012 Springer Berlin Heidelberg
• Correction to: Software engineering whispers: The effect of textual vs. graphical software design descriptions on software design communication
  Jolak, Rodi ; Savary-Leblanc, Maxime ; Dalibor, Manuela ; Wortmann, Andreas ; Hebig, Regina ; Vincur, Juraj ; Polasek, Ivan ; Pallec, Xavier Le ; Gérard, Sébastien ; Chaudron, Michel R. V.
• Descriptional Complexity of Formal Systems – 20th IFIP WG 1.02 International Conference, DCFS 2018, Halifax, NS, Canada, July 25–27, 2018, Proceedings
  Konstantinidis, Stavros ; Pighizzini, Giovanni 2018 Springer International Publishing
• Graph Structures for Knowledge Representation and Reasoning – 5th International Workshop, GKR 2017, Melbourne, VIC, Australia, August 21, 2017, Revised Selected Papers
  Croitoru, Madalina ; Marquis, Peter ; Rudolph, Sebastian ; Stapleton, Gem 2018 Springer International Publishing
• The Semantic Web: ESWC 2017 Satellite Events – ESWC 2017 Satellite Events, Portorož, Slovenia, May 28 – June 1, 2017, Revised Selected Papers
  Blomqvist, Eva ; Hose, Katja ; Paulheim, Heiko ; Ławrynowicz, Agnieszka ; Ciravegna, Fabio ; Hartig, Olaf 2017 Springer International Publishing
• Logic-Based Program Synthesis and Transformation – 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers
  Hermenegildo, Manuel V. ; López García, Pedro 2017 Springer International Publishing
• Rules and Reasoning – International Joint Conference, RuleML+RR 2017, London, UK, July 12–15, 2017, Proceedings
  Costantini, Stefania ; Franconi, Enrico ; Van Woensel, William ; Kontchakov, Roman ; Sadri, Fariba ; Roman, Dumitru 2017 Springer International Publishing
• Semantics, Analytics, Visualization. Enhancing Scholarly Data – Second International Workshop, SAVE-SD 2016, Montreal, QC, Canada, April 11, 2016, Revised Selected Papers
  González-Beltrán, Alejandra ; Osborne, Francesco ; Peroni, Silvio 2016 Springer International Publishing
• System Analysis and Modeling: Models and Reusability – 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedings
  2014 Springer International Publishing
• Descriptional Complexity of Formal Systems – 21st IFIP WG 1.02 International Conference, DCFS 2019, Košice, Slovakia, July 17–19, 2019, Proceedings
  Hospodár, Michal ; Jirásková, Galina ; Konstantinidis, Stavros 2019 Springer International Publishing, Imprint: Springer
• Hardware Description Languages and their Applications – Specification, modelling, verification and synthesis of microelectronic systems IFIP TC10 WG10.5 International Conference on Computer Hardware Description Languages and their Applications, 20–25 April 1997, Toledo, Spain
  1997 Springer US
• Computational Collective Intelligence – 7th International Conference, ICCCI 2015 Madrid, Spain, September 21–23, 2015. Proceedings, Part I
  Núñez, Manuel ; Nguyen, Ngoc Thanh ; Camacho, David ; Trawinski, Bogdan 2015 Springer International Publishing