• Suche: Formal Methods for Components and Objects

Treffer 1 - 20 von 766.721

1

Formal Model of ATM Based on Object Constraint Language (OCL)
Ahmed, Irfan ; Naseer, Sadia ; Umm - e - Habiba ; et al.
2024 International Conference on Engineering and Emerging Technologies (ICEET) Engineering and Emerging Technologies (ICEET), 2024 International Conference on. :1-6 Dec, 2024

Konferenz
Merkliste
2

Object oriented and formal methods for AUV development
Champeau, J. ; Dhaussy, P. ; Moitie, R. ; et al.
OCEANS 2000 MTS/IEEE Conference and Exhibition. Conference Proceedings (Cat. No.00CH37158) OCEANS 2000 OCEANS 2000 MTS/IEEE Conference and Exhibition. 1:73-78 vol.1 2000

Konferenz
Merkliste
3

Towards Explainability in Machine Learning: The Formal Methods Way
Gossen, F. ; Margaria, T. ; Steffen, B.
IT Professional IT Prof. IT Professional. 22(4):8-12 Aug, 2020

Fachzeitschrift
Merkliste
4

Formal Analysis of Fault Propagation in Complex Digital Systems
Zuccala, Damiano ; Hon, Samuel ; Iman, Mohammad Reza Heidari ; et al.
2025 23rd ACM-IEEE International Symposium on Formal Methods and Models for System Design (MEMOCODE) MEMOCODE Formal Methods and Models for System Design (MEMOCODE), 2025 23rd ACM-IEEE International Symposium on. :67-71 Oct, 2025

Konferenz
Merkliste
5

Work in Progress: ESPECIFICA++, a DSL for Developing the Competency of Formal Specification in Computer Programming Education
Sierra-Rodriguez, Jose-Luis ; Gomez-Albarran, Mercedes ; Gonzalez-de-Miguel, Ana-Maria ; et al.
2025 IEEE Engineering Education World Conference (EDUNINE) Engineering Education World Conference (EDUNINE), 2025 IEEE. :1-4 Mar, 2025

Konferenz
Merkliste
6

Support Formal Component-Based Development with UML Profile
Li, Dan ; Li, Xiaoshan ; Liu, Zhiming ; et al.
2013 22nd Australian Software Engineering Conference Software Engineering Conference (ASWEC), 2013 22nd Australian. :191-200 Jun, 2013

Konferenz
Merkliste
7

A Taxonomy of MBSE Approaches by Languages, Tools and Methods
De Saqui-Sannes, P. ; Vingerhoeds, R.A. ; Garion, C. ; et al.
IEEE Access Access, IEEE. 10:120936-120950 2022

Fachzeitschrift
Merkliste
8

Automated generation of finite state machine from object-oriented formal specifications
Khalid, Shafaq ; Nadeem, Aamer
2010 6th International Conference on Emerging Technologies (ICET) Emerging Technologies (ICET), 2010 6th International Conference on. :304-309 Oct, 2010

Konferenz
Merkliste
9

Unformatted, Certified Scientific Objects
Royer, Mark E. ; Chawathe, Sudarshan S.
2019 IEEE 10th Annual Ubiquitous Computing, Electronics & Mobile Communication Conference (UEMCON) Ubiquitous Computing, Electronics & Mobile Communication Conference (UEMCON), 2019 IEEE 10th Annual. :0572-0577 Oct, 2019

Konferenz
Merkliste
10

A Formal Approach to Connectibility Affordances
Abbate, A.J. ; Bass, E.J.
IEEE Transactions on Human-Machine Systems IEEE Trans. Human-Mach. Syst. Human-Machine Systems, IEEE Transactions on. 49(6):518-528 Dec, 2019

Fachzeitschrift
Merkliste
11

Designing Verifiable and Reusable Data Access Layer Using Formal Methods and Design Patterns
Sohail, Faheem ; Zubairi, Farooq ; Sabir, Nabeel ; et al.
2009 International Conference on Computer Modeling and Simulation Computer Modeling and Simulation, 2009. ICCMS '09. International Conference on. :167-172 Feb, 2009

Konferenz
Merkliste
12

Consistent MDA for Workflow Development
Umarov, Timur ; Hajiyev, Fuad
2021 IEEE 15th International Conference on Application of Information and Communication Technologies (AICT) Application of Information and Communication Technologies (AICT), 2021 IEEE 15th International Conference on Application of Information and Communication Technologies (AICT). :1-6 Oct, 2021

Konferenz
Merkliste
14

Model Composition Via Object-Role Modeling
Taylor, Lamar ; Sharma, Sharad
SoutheastCon 2018 SoutheastCon, 2018. :1-7 Apr, 2018

Konferenz
Merkliste
15

Formal specification of CORBA services using Object-Z
Kreuz, D.
Proceedings Second International Conference on Formal Engineering Methods (Cat.No.98EX241) Formal engineering methods Formal Engineering Methods, 1998. Proceedings. Second International Conference on. :180-189 1998

Konferenz
Merkliste
16

Preface
Formal Methods for Multi-Agent Feedback Control Systems. May 13, 2025

Buch
Merkliste
17

Using Formal Methods to Design Measuring Systems
Lukaszewski, R. ; Winiecki, W.
2005 IEEE Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications, 2005. IDAACS 2005. IEEE. :349-354 Sep, 2005

Konferenz
Merkliste
18

Specification matching of object-oriented components
Feiks, F. ; Hemer, D.
First International Conference onSoftware Engineering and Formal Methods, 2003.Proceedings. Software engineering and formal methods Software Engineering and Formal Methods, 2003.Proceedings. First International Conference on. :182-190 2003

Konferenz
Merkliste
19

Slimmer Formal Proofs for Mathematical Libraries
de Lamarliere, Paul Geneau ; Melquiond, Guillaume ; Faissole, Florian
2023 IEEE 30th Symposium on Computer Arithmetic (ARITH) ARITH Computer Arithmetic (ARITH), 2023 IEEE 30th Symposium on. :32-35 Sep, 2023

Konferenz
Merkliste
20

MiniZinc for Formal Methods
Stuckey, Peter J.
2023 Formal Methods in Computer-Aided Design (FMCAD) Formal Methods in Computer-Aided Design (FMCAD), 2023. :1-1 Oct, 2023

Konferenz
Merkliste
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter