January 01, 2023 conference-paper Aachen paper

Fundamentals of Software Engineering

Lecture notes in computer science

DOI: 10.1007/978-3-031-42441-0 OpenAlex

Authors 2

Hossein Hojjat

Affiliation as printed

Tehran Institute for Advanced Studies, Tehran, Iran
Erika Ábrahám Aachen

RWTH Aachen University

Affiliation as printed

RWTH Aachen University, Aachen, Germany

Cited by 9 stored of 9

SELFY - Self Assessment, Protection and Healing Tools for a Trustworthy and Resilient CCAM
2025 Lecture notes in mobility conference-paper Engineering Vehicular Ad Hoc Networks (VANETs) Open access

0

citations
Efficient interaction-based offline runtime verification of distributed systems with lifeline removal
2024 Science of Computer Programming article Computer Science Distributed systems and fault tolerance Open access

3

citations
Developing an E-report System for Complaint Management at Catholic University of St. Thomas using Prototyping Method
2023 International Journal of Advances in Computer Science and Technology article Social Sciences Education and Military Integration Open access

0

citations
Agile Short Unified Process – ASUP: uma metodologia híbrida apoiada na adaptação do framework scrum e do unified process - UP
2022 dissertation Computer Science Software Engineering Techniques and Practices Open access

2

citations
Efficient Test Generation Guided by Field Coverage Criteria
2019 IEEE/ACM International Conference on Automated Software Engineering (ASE) conference-paper Computer Science Software Testing and Debugging Techniques

0

citations
An evolutionary approach to translating operational specifications into declarative specifications
2019 Science of Computer Programming article Computer Science Software Testing and Debugging Techniques Open access

5

citations
Using virtual environments for the assessment of cybersecurity issues in IoT scenarios
2016 Simulation Modelling Practice and Theory article Computer Science Network Security and Intrusion Detection

64

citations
Modelagem de requisitos de software de tempo-real usando SysML e MARTE
2013 dissertation Computer Science Software Reliability and Analysis Research Open access

2

citations
Using Weak Bisimulation for Enterprise Integration Architecture Formal Verification--I
2007 IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS) conference-paper Computer Science Formal Methods in Verification

0

citations

9 results

Fundamentals of Software Engineering

Authors 2

Cited by 9 stored of 9

References 0