References of "Adedjouma, Morayo 40080427"
     in
Bookmark and Share    
Full Text
Peer Reviewed
See detailLegal Markup Generation in the Large: An Experience Report
Sannier, Nicolas UL; Adedjouma, Morayo UL; Sabetzadeh, Mehrdad UL et al

in the 25th International Requirements Engineering Conference (RE'17), Lisbon, 4-8 September 2017 (2017, September)

Detailed reference viewed: 20 (0 UL)
Full Text
Peer Reviewed
See detailAutomated Detection and Resolution of Legal Cross References: Approach and a Study of Luxembourg's Legislation
Adedjouma, Morayo UL; Sabetzadeh, Mehrdad UL; Briand, Lionel UL

in 22nd IEEE International Requirements Engineering Conference (2014, August 25)

Detailed reference viewed: 114 (20 UL)
Full Text
Peer Reviewed
See detailUsing UML for Modeling Procedural Legal Rules: Approach and a Study of Luxembourg’s Tax Law
Soltana, Ghanem UL; Fourneret, Elizabeta; Adedjouma, Morayo UL et al

in 17th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS'14) (2014)

Many laws, e.g., those concerning taxes and social benefits, need to be operationalized and implemented into public administration procedures and eGovernment applications. Where such operationalization is ... [more ▼]

Many laws, e.g., those concerning taxes and social benefits, need to be operationalized and implemented into public administration procedures and eGovernment applications. Where such operationalization is warranted, the legal frameworks that interpret the underlying laws are typically prescriptive, providing procedural rules for ensuring legal compliance. We propose a UML-based approach for modeling pro- cedural legal rules. With help from legal experts, we investigate actual legal texts, identifying both the information needs and sources of com- plexity in the formalization of procedural legal rules. Building on this study, we develop a UML profile that enables more precise modeling of such legal rules. To be able to use logic-based tools for compliance analysis, we automatically transform models of procedural legal rules into the Object Constraint Language (OCL). We report on an application of our approach to Luxembourg’s Income Tax Law providing initial evidence for the feasibility and usefulness of our approach. [less ▲]

Detailed reference viewed: 163 (60 UL)
Full Text
Peer Reviewed
See detailMinimizing CPU Time Shortage Risks in Integrated Embedded Software
Nejati, Shiva UL; Adedjouma, Morayo UL; Briand, Lionel UL et al

in 28th IEEE/ACM International Conference on Automated Software Engineering (2013)

Detailed reference viewed: 175 (28 UL)
Full Text
Peer Reviewed
See detailMerging the Quality Assessment of Processes and Products in Automotive Domain
Adedjouma, Morayo UL; Dubois, Hubert; Terrier, François et al

in Proceedings of the 13th International Conference on Product-Focused Software Process Improvement (PROFES 2012) (2012)

Detailed reference viewed: 19 (0 UL)
Full Text
Peer Reviewed
See detailAn Experiment on Merging Quality Assessment in Automotive Domain
Adedjouma, Morayo UL; Dubois, Hubert; Terrier, François et al

in 12th International Conference, SPICE 2012, Palma, Spain, May 29-31, 2012. Proceedings (2012)

Detailed reference viewed: 20 (2 UL)
See detailMulti-standards Compliance Using an Model-driven Engineering Approach Application to Automotive Domain
Adedjouma, Morayo UL

Book published by LAP Lamber Academic Publishing (2012)

Detailed reference viewed: 29 (4 UL)
Full Text
Peer Reviewed
See detailEfficient Methodology from Requirements to Design Models for an Automotive Application
Adedjouma, Morayo UL; Wojciech, Machnik; Dubois, Hubert et al

in Proceedings of 6th European congress on Embedded Real Time Software and Systems (ERTS 2012) (2012)

Detailed reference viewed: 21 (0 UL)
Full Text
Peer Reviewed
See detailAn integrated approach to implement system engineering and safety engineering processes: SASHA Project
Aboutaleb, Hycham; Bouali, Mohamed; Adedjouma, Morayo UL et al

in Proceedings of 6th European congress on Embedded Real Time Software and Systems (ERTS 2012) (2012)

Detailed reference viewed: 32 (2 UL)
Full Text
Peer Reviewed
See detailModeling a BSG-E automotive system with the Timing augmented description language
Peraldi-Frati, M.-A.; Goknil, A.; Adedjouma, Morayo UL et al

in Proceedings of 5th International Symposium of Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies (2012)

Detailed reference viewed: 13 (0 UL)
Full Text
Peer Reviewed
See detailBrowse Conference Publications > Engineering of Complex Comput ... Requirements Exchange: From Specification Documents to Models
Adedjouma, Morayo UL; Dubois, H.; Terrier, F.

in Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS), 2011 (2011)

Detailed reference viewed: 19 (1 UL)
Full Text
Peer Reviewed
See detailA Model-Driven Requirement Engineering Process Compliant with Automotive Domain Standards
Adedjouma, Morayo UL; Dubois, Hubert; Maaziz, Kamel et al

in Proceedings of the Third Workshop on Model Driven Tool and Process Integration (MDTPI) (2010)

Detailed reference viewed: 69 (3 UL)
Full Text
Peer Reviewed
See detailSûreté de Fonctionnement dans un processus basé sur l'Ingénierie Dirigée par les Modèles
Cancila, Daniela; Dubois, Hubert; Adedjouma, Morayo UL

in Actes des 5emes journées sur l’Ingénierie Dirigée par les Modèles, Nancy, 25-26 mars 2009 (2009)

From the nineties, paradigm "cheaper, faster, better" is becoming a successfully paradigm to develop systems such that real-time embedded systems where safety guarantees are mandatory. Model-driven ... [more ▼]

From the nineties, paradigm "cheaper, faster, better" is becoming a successfully paradigm to develop systems such that real-time embedded systems where safety guarantees are mandatory. Model-driven engineering (MDE) approaches provide a solution to manage the increasing complexity of such systems. In this paper, we adopt a MDE approach and we study how to integrate safety requirements (and, more particularly, the dependability) from the early phases of software development. We base our investigation on three pilasters: definition of a safety metamodel compatible with UML standard profiles; definition of a software development methodology and adoption of formal methods to prove properties. In this paper we discuss our strategy and some challenges that we are faced to. MOTS-CLÉS : ingénierie dirigée par les modèles (IDM), sûreté de fonctionnement, fiabilité, métamodèles, profil UML. [less ▲]

Detailed reference viewed: 34 (0 UL)
Full Text
Peer Reviewed
See detailA Model-Based Requirements Engineering Framework in an Automotive Certification Purpose
Adedjouma, Morayo UL

in Proceedings of the REFSQ 2011 Workshops REEW, EPICAL and RePriCo, the REFSQ 2011 Empirical Track (Empirical Live Experiment and Empirical Research Fair), and the REFSQ 2011 Doctoral Symposium (2009)

Detailed reference viewed: 22 (1 UL)