Graphic specification of abstract data types
Enregistré dans:
| Auteur principal: | |
|---|---|
| Format: | Artículo científico |
| Langue: | en |
| Publié: |
Universidad de Tarapacá
2004
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
Documents similaires
A Model for Documenting Requirements Elicitation
par: Edgar Serna M.
Publié: (2023)
par: Edgar Serna M.
Publié: (2023)
An Implementation of the Task Algebra, a Formal Specification for the Task Model in the Discovery Method
par: C. A. Fernández-Fernández
Publié: (2014)
par: C. A. Fernández-Fernández
Publié: (2014)
Fundamental Approaches to Software Engineering
Publié: (2018)
Publié: (2018)
UAREI: A model for formal description and visual representation /software gamification
par: Darius Ašeriškis
Publié: (2017)
par: Darius Ašeriškis
Publié: (2017)
Principles of Security and Trust: 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
Publié: (2018)
Publié: (2018)
The Abstract Workflow Language (AWL) and it's Linked Data extension (AWL-LD)
par: Stier, Simon P., et autres
Publié: (2025)
par: Stier, Simon P., et autres
Publié: (2025)
Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I
Publié: (2018)
Publié: (2018)
Automated Deduction – CADE 29
Publié: (2023)
Publié: (2023)
UNRAVELING THE COGNITIVE STRUCTURES UNDERLYING ABSTRACT ALGEBRAIC REASONING
par: Gabina Susuoroka1, Enoch Deyaka Mwini2
Publié: (2025)
par: Gabina Susuoroka1, Enoch Deyaka Mwini2
Publié: (2025)
The graphical method of pauses detection in English speech signals
par: E.V. MARTYNOVA
Publié: (2019)
par: E.V. MARTYNOVA
Publié: (2019)
Journal of Graphic Engineering and Design
Publié: (2012)
Publié: (2012)
Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II
Publié: (2018)
Publié: (2018)
Journal of Industrial Design and Engineering Graphics
Publié: (2023)
Publié: (2023)
The homotopy theory of type theories
par: Kapulkin, Chris, et autres
Publié: (2016)
par: Kapulkin, Chris, et autres
Publié: (2016)
FAVORABILITY CONDITIONS IN THE ADOPTION OF AGILE METHOD PRACTICES FOR SOFTWARE DEVELOPMENT IN A PUBLIC BANKING
par: Luís Kalb Roses
Publié: (2016)
par: Luís Kalb Roses
Publié: (2016)
Towards the Design of Safety-Critical Software
par: R. Rafeh
Publié: (2013)
par: R. Rafeh
Publié: (2013)
DeSoftln: A methodological proposal for individual software development
par: Juan Sebastián González-Sanabria
Publié: (2017)
par: Juan Sebastián González-Sanabria
Publié: (2017)
Tools and Algorithms for the Construction and Analysis of Systems
Publié: (2022)
Publié: (2022)
Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
par: Ahmed, Amal
Publié: (2018)
par: Ahmed, Amal
Publié: (2018)
SOFTWARE TOOL FOR LEARNING THE GENERATION OF THE CARDIOID CURVE IN AN AUTOCAD ENVIRONMENT
par: MIGUEL ÁNGEL GÓMEZ-ELVIRA-GONZÁLEZ
Publié: (2012)
par: MIGUEL ÁNGEL GÓMEZ-ELVIRA-GONZÁLEZ
Publié: (2012)
Semi-formal specifications and formal verification improving the digital design: some statistics
par: D. Torres
Publié: (2009)
par: D. Torres
Publié: (2009)
e− Cálculo
par: Julio César Jaramillo Quiceno
Publié: (2021)
par: Julio César Jaramillo Quiceno
Publié: (2021)
Methodology for the Synthesis of Automata in the Planning of Movements for Autonomous Systems with Multiple Agents
par: Jorge Luis Martínez-Valencia
Publié: (2021)
par: Jorge Luis Martínez-Valencia
Publié: (2021)
Automatic Verification of Critical Industrial Process with Automata
par: Luis E. Mendoza Morales
Publié: (2016)
par: Luis E. Mendoza Morales
Publié: (2016)
Demetrios: A Systems and Scientific Programming Language with Epistemic Computing
par: Agourakis, Demetrios Chiuratto, et autres
Publié: (2025)
par: Agourakis, Demetrios Chiuratto, et autres
Publié: (2025)
Demetrios: A Systems and Scientific Programming Language with Epistemic Computing
par: Agourakis, Demetrios Chiuratto, et autres
Publié: (2025)
par: Agourakis, Demetrios Chiuratto, et autres
Publié: (2025)
Language Policy in Africa
Publié: (2026)
Publié: (2026)
Grammatical sensitivity: a correlational-explanatory study on brain dominance and EFL training to improve gains
par: Muriel Oyarce Piraud
Publié: (2008)
par: Muriel Oyarce Piraud
Publié: (2008)
Kollokationen der deutschen und der dänischen Wissenschaftssprache
par: Irene Simonsen
Publié: (2020)
par: Irene Simonsen
Publié: (2020)
Collocations in Academic Language in German and Danish
par: Irene Simonsen
Publié: (2020)
par: Irene Simonsen
Publié: (2020)
Revista de Expresión Gráfica en la Edificación
Publié: (2020)
Publié: (2020)
The Seven Ages of Fortran
par: Michael Metcalf
Publié: (2011)
par: Michael Metcalf
Publié: (2011)
AN OVERVIEW OF 10 YEARS OF QUALITATIVE METHODS AT JOURNAL OF INTERNATIONAL BUSINESS STUDIES
par: SÍLVIO LUÍS DE VASCONCELLOS
Publié: (2013)
par: SÍLVIO LUÍS DE VASCONCELLOS
Publié: (2013)
Frontiers of Combining Systems
Publié: (2023)
Publié: (2023)
Some characterizations of ( Ey ,Ey V qs )- fuzzy fantastic ideals in BCH-algebras
par: Muhammad Zulfiqar
Publié: (2013)
par: Muhammad Zulfiqar
Publié: (2013)
Optimal Site Selection using Geographical Information System (GIS) Based Multicriteria Decision Analysis (MCDA): A case study to Concentrated Solar Power Plants (CSP) in Brazil
par: Eduardo Chiarani
Publié: (2023)
par: Eduardo Chiarani
Publié: (2023)