Emanuel S. Grant

Orcid: 0000-0002-0480-4239

According to our database1, Emanuel S. Grant authored at least 38 papers between 1997 and 2024.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Verification and Validation of Software System Class Models.
Proceedings of the 2024 8th International Conference on Information System and Data Mining, 2024

Survey of Soft Computing Methods to Predict Soccer Win/Loss Probability.
Proceedings of the 2024 8th International Conference on Information System and Data Mining, 2024

Defining Model-Driven Safety-Critical Software Engineering, with International Standard.
Proceedings of the 7th International Conference on Information and Computer Technologies, 2024

2023
Advancing Object-Oriented Model-Driven Software Engineering Pedagogy.
Proceedings of the 35th International Conference on Software Engineering Education and Training, 2023

2022
Towards Verifying UML Class Diagram and Formalizing Generalization/Specialization Relationship with Mathematical Set Theory.
J. Softw., 2022

Towards Simplifying and Formalizing UML Class Diagram Generalization/Specialization Relationship with Mathematical Set Theory.
Proceedings of the ICISDM 2022: 2022 the 6th International Conference on Information System and Data Mining, Silicon Valley, CA, USA, May 27, 2022

2021
Toward Management of Uncertainty in Self-Adaptive Software Systems: IoT Case Study.
Comput., 2021

2020
A Review of Applications of Formal Specification in Safety-Critical System Development.
Proceedings of the ICCDA 2020: The 4th International Conference on Compute and Data Analysis, 2020

2018
An Exercise in Reverse Engineering for Safety-Critical Systems: An Experience for the Classroom.
Proceedings of the Computer Supported Education - 10th International Conference, 2018

Pedagogical Benefits from an Exercise in Reverse Engineering for an Aviation Software Systems.
Proceedings of the 10th International Conference on Computer Supported Education, 2018

2015
A Model-Driven Case Study of Developing a Complex Domain-Specific System.
J. Softw., 2015

Case Method for Computing Education (CMCE): A Strategy for Teaching Software Engineering.
Proceedings of the Joint Proceedings of the 3rd International Workshop on Quantitative Approaches to Software Quality (QuASoQ), 2015

2014
Big data architecture evolution: 2014 and beyond.
Proceedings of the fourth ACM international symposium on Development and analysis of intelligent vehicular networks and applications, 2014

Technology-driven software engineering curriculum development.
Proceedings of the 27th IEEE Conference on Software Engineering Education and Training, 2014

Comparative analysis to validate benefits of formal and informal software model transformations.
Proceedings of the 2014 IEEE/ACIS 13th International Conference on Computer and Information Science, 2014

2010
SOA and Security of Loosely Coupled Services in the Cloud using SOA 3.0.
Proceedings of the 2010 International Conference on Software Engineering Research & Practice, 2010

2009
A Comparison of Aspect-Oriented Approaches to Model Driven Engineering.
Proceedings of the 2009 International Conference on Software Engineering Research & Practice, 2009

Toward Extending AADL-OSATE Toolset with Color Petri Nets (CPNs).
Proceedings of the Sixth International Conference on Information Technology: New Generations, 2009

Use of SOA 3.0 in Strategic Information System Planning.
Proceedings of the EMS 2009, 2009

2008
Assessing the Complexity of Software Architecture Using Coupling and Cohesion.
Proceedings of the 2008 International Conference on Software Engineering Research & Practice, 2008

Towards Model Driven Testing for Mission Critical Software Systems.
Proceedings of the 2008 International Conference on Software Engineering Research & Practice, 2008

2007
A method to test concurrent systems using architectural specification.
J. Supercomput., 2007

A Model-Based Testing Method for Multimodal Integration Testing.
Proceedings of the 2007 International Conference on Software Engineering Research & Practice, 2007

A Model-Based Approach for Testing GUI Using Hierarchical Predicate Transition Nets.
Proceedings of the Fourth International Conference on Information Technology: New Generations (ITNG 2007), 2007

2006
Guest Editorial.
J. Res. Pract. Inf. Technol., 2006

The Role of Model-Oriented Software Architecture in Safety Engineering.
Proceedings of the International Conference on Software Engineering Research and Practice & Conference on Programming Languages and Compilers, 2006

Towards Analyzing UML Class Diagram Models to Object-Relational Database Systems Transformations.
Proceedings of the IASTED International Conference on Databases and Applications, 2006

2005
Using Architectural Modeling for Integration Testing.
Proceedings of the International Conference on Software Engineering Research and Practice, 2005

Quality-Oriented Software Architecture.
Proceedings of the International Symposium on Information Technology: Coding and Computing (ITCC 2005), 2005

2004
A Two-Way Modeling Approach to Architectural Design Based on Reusable Specifications.
Proceedings of the International Conference on Software Engineering Research and Practice, 2004

Framework for Domain-Specific Modeling Language Development.
Proceedings of the International Conference on Software Engineering Research and Practice, 2004

A Formal Approach to Software Architecture of Agent-Base Systems.
Proceedings of the International Conference on Information Technology: Coding and Computing (ITCC'04), 2004

Model Oriented Software Architecture.
Proceedings of the 28th International Computer Software and Applications Conference (COMPSAC 2004), 2004

2003
A Framework for Specifying Software Architecture Based on Multi-Formalisms.
Proceedings of the International Conference on Software Engineering Research and Practice, 2003

2000
UML2Z: An UML-Based Object-Oriented Modeling Tool for an Internet Integrated Formalization Process.
Proceedings of the 6th International Conference on Object Oriented Information Systems, 2000

1997
Towards Semantic-Based Object-Oriented CASE Tools.
Proceedings of the 1997 International Conference on Automated Software Engineering, 1997

Towards a Rigorous Object-Oriented Analysis and Design Method.
Proceedings of the First IEEE International Conference on Formal Engineering Methods, 1997

Rigorous Object-Oriented Modeling: Integrating Formal and Informal Notations.
Proceedings of the Algebraic Methodology and Software Technology, 1997


  Loading...