„System description languages“
Suchergebnisse
1.000+ Treffer
-
Using Feature-Based Description Logics to avoid Duplicate Elimination in Object-Relational Query Languages
-
Software Architecture in Action – Designing and Executing Architectural Models with SysADL Grounded on the OMG SysML Standard
-
Model-Driven Dependability Assessment of Software Systems
-
Timing model derivation – static analysis of hardware description languages
-
Timing model derivation – pipeline analyzer generation from hardware description languages
-
Beyond Synthesis: Mastering VHDL for Efficient System Design
-
Descriptional Complexity of Formal Systems – 15th International Workshop, DCFS 2013, London, ON, Canada, July 22-25, 2013. Proceedings
-
Descriptional Complexity of Formal Systems – 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012. Proceedings
-
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
-
Correction to: Software engineering whispers: The effect of textual vs. graphical software design descriptions on software design communication
-
Descriptional Complexity of Formal Systems – 20th IFIP WG 1.02 International Conference, DCFS 2018, Halifax, NS, Canada, July 25–27, 2018, Proceedings
-
Graph Structures for Knowledge Representation and Reasoning – 5th International Workshop, GKR 2017, Melbourne, VIC, Australia, August 21, 2017, Revised Selected Papers
-
The Semantic Web: ESWC 2017 Satellite Events – ESWC 2017 Satellite Events, Portorož, Slovenia, May 28 – June 1, 2017, Revised Selected Papers
-
Logic-Based Program Synthesis and Transformation – 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers
-
Rules and Reasoning – International Joint Conference, RuleML+RR 2017, London, UK, July 12–15, 2017, Proceedings
-
Semantics, Analytics, Visualization. Enhancing Scholarly Data – Second International Workshop, SAVE-SD 2016, Montreal, QC, Canada, April 11, 2016, Revised Selected Papers
-
System Analysis and Modeling: Models and Reusability – 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedings
-
Descriptional Complexity of Formal Systems – 21st IFIP WG 1.02 International Conference, DCFS 2019, Košice, Slovakia, July 17–19, 2019, Proceedings
-
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
-
Computational Collective Intelligence – 7th International Conference, ICCCI 2015 Madrid, Spain, September 21–23, 2015. Proceedings, Part I