Browsing 1. Tudományos közlemények, publikációk by Title

Towards Complexity Analysis of Software Process Improvement Frameworks

Kelemen, Zádor Dániel; Rob Kusters; Jos Trienekens; Sógorné Balla, Katalin (2013)

Towards Distributed Hash Tables (De)Composition in Ambient Networks

L Cheng; R Ocampo; K Jean; A Galis; Simon, Csaba; Szabó, Róbert; Kersch, Péter; R Giaffreda (2006)

Towards Dynamic Backward Slicing of Model Transformations

Ujhelyi, Zoltán; Horváth, Ákos; Varró, Dániel (IEEE Computer Society Press, 2011)

Towards Efficient CEGAR-Based Reachability Analysis of Timed Automata

Farkas, Rebeka; Vörös, András (2016)

Towards Guided Trajectory Exploration of Graph Transformation Systems

Hegedüs, Ábel; Horváth, Ákos; Varró, Dániel (2011)

Towards Interactive Learning for Model-based Software Engineering

Barcsa-Szabó, Áron; Várady, Balázs; Farkas, Rebeka; Molnár, Vince; Vörös, András (2021)

Model-based technologies improve the efficiency of the design and development of IT systems by making it possible to automate verification, code generation and system analysis based on a formal model. A simple way of ...

Towards Language Independent (Dynamic) Symbolic Execution

Klikovits, Stefan; Gonzalez-Berges, Manuel; Buchs, Didier (2017)

Towards Model-Based Support for Regression Testing

Gujgiczer, Anna; Elekes, Márton; Semeráth, Oszkár; Vörös, András (2017)

Towards Modeling Cyber-Physical Systems From Multiple Approaches

Búr, Márton; Vörös, András; Bergmann, Gábor; Varró, Dániel (2017)

Towards Rational Agency

Kovács, Dániel László (Budapest University of Technology and Economics, Department of Measurement and Information Systems, 2004)

Towards Reliable Benchmarks of Timed Automata

Farkas, Rebeka; Bergmann, Gábor (2018)

Towards Supporting Dynamic Symbolic Execution via Multi-Domain Metrics

Honfi, Dávid; Micskei, Zoltán (2018)

TOWARDS SUPPORTING SIMULTANEOUS USE OF PROCESS-BASED QUALITY APPROACHES

Kelemen, Zádor Dániel; Sógorné Balla, Katalin; Jos Trienekens; Rob Kusters ([s. n.], 2008)

Towards Sustainability of Real Estate Development: An Integrative Review of Smart City Planning Considerations

Okoro, Chioma; Kruger, Andre; Booyens, Marno (2020-07-01)

Towards symbolic analysis of visual modeling languages

Varró, Dániel (2003)

Towards Testing the Implementation of Graph Transformations

A Darabos; Pataricza, András; Varró, Dániel (2008)

Towards the Measurement of Perceived Architectural Qualities

Heinrich, Benjamin; Wurzer, Gabriel (2016)

“Architectural quality” is a property of the built environment that, even though often quoted, is hard to define in rigorous terms. In our work, we take a step into that direction, based on recent results in cognitive ...

Towards the Model Based Design of Supervisory Systems

Kocsis, Imre; Pataricza, András (2007)

Towards the Objective Evaluation of Hand Disinfection

Lehotsky, Ákos; Melinda Nagy; Haidegger, Tamás (Springer, 2010)

Towards the Verification of Neural Networks for Critical Cyber-Physical Systems

Rabatin, Gábor; Vörös, András (2018)