PUTRACOM: a formalism of a novel component model

QR Code

PUTRACOM: a formalism of a novel component model

The composition mechanisms and interactions of current component models are mostly base on port or function calls from other components. However, in both styles, the number of interactions that depend on the number of ports and method calls may increase dramatically. Hence, to avoid such complexity...

Full description

Bibliographic Details
Main Authors:	Nejati, Faranak, Ng, Keng Yap, Abd Ghani, Abdul Azim, Jaafar, Azmi
Format:	Article
Published:	INSIGHT 2020
Online Access:	http://psasir.upm.edu.my/id/eprint/87368/

Similar Items

PUTRACOM: a concurrent component model with exogenous connectors
by: Nejati, Faranak, et al.
Published: (2018)

Handling state space explosion in component-based software verification: a review
by: Nejati, Faranak, et al.
Published: (2021)

I-Putra.com: The soft city of Putrajaya
by: Rafi, A.
Published: (2003)

An approach to support incremental software construction and verification in component-based system development
by: Nejati, Faranak
Published: (2019)

A model of component interaction between Formal, Technical and Informal components within IS/IT security governance
by: Nadianatra, Musa, et al.
Published: (2013)

A systematic mapping of quality models for AI systems, software and components
by: Ali, Mohamed Abdullahi, et al.
Published: (2022)

Mediator connector for composition of loosely coupled software components.
by: Sanatnama, Hanid, et al.
Published: (2008)

A preliminary component model for IoT
by: Kamarudin, Arbaayah, et al.
Published: (2020)

A survey on refinement in formal methods and software engineering
by: Said, Mar Yah @ Mek Yah, et al.
Published: (2019)

Conditional max-preserving normalization: an innovative approach to combining diverse classification models
by: Najafabadi, Amin Arab, et al.
Published: (2024)

The interrelatedness of formal, non-formal and informal learning
by: Cameron, Roslyn, et al.
Published: (2012)

Component-based systems from natural language requirements
by: Nordin, Azlin, et al.
Published: (2011)

A formal approach to modelling and verification of context-aware systems
by: Ul-Haque, Hafiz Mahfooz
Published: (2017)

A Formal Model of Mixed-Initiative Interaction in Design Exploration
by: Datta, Sambit, et al.
Published: (2011)

The robust software metric data model defined in XML.
by: Ng , Keng Yap, et al.
Published: (2008)

Review of the weaknesses in the classical model of formal organization
by: Bernard Sarachek,
Published: (1982)

Teori Dan Model Berkenaan Dengan Budaya Formal Sekolah
by: Yahaya, Azizi, et al.
Published: (2010)

Formal asymptotic limit of a diffuse-interface tumor-growth model
by: Hilhorst, Danielle, et al.
Published: (2015)

Kaedah-kaedah dan strategi pengajaran berpandukan model pengajaran formal.
by: Salimon, Abd Main

Formalization of ORM revisited
by: Halpin, Terry
Published: (2012)

Trends in Formal Assessment
by: M. McGrath, Dennis
Published: (1979)

A requirement engineering model for big data software
by: Altarturi, Hamza Hussein, et al.
Published: (2017)

Constructing component-based systems from natural language requirements using incremental composition
by: Nordin, Azlin, et al.
Published: (2010)

CPT443 – Automata Theory & Formal Languages (Teori Automata & Bahasa Formal)
by: PPSKOM, Pusat Pengajian Sains Komputer
Published: (2021)

Penggunaan kata ganti nama formal dan tidak formal dalam teks iklan bercetak berbahasa Sepanyol
by: Mansor, Nor Shahila, et al.
Published: (2016)

A Formal Specification Language For Design Patterns.
by: Taufik Taibi,
Published: (2003)

Lipoprotein ontology: a formal representation of Lipoproteins
by: Kohn, Meifania Monica
Published: (2013)

Amalan kesantunan berbahasa dalam komunikasi formal dan tidak formal dalam kalangan pelajar universiti
by: Ahmad Fuad Mat Hassan,, et al.
Published: (2020)

A mapping study to investigate component-based software system metrics
by: Abdellatief, Majdi, et al.
Published: (2013)

Components interaction markup language for mediator connector.
by: Sanatnama, Hamid, et al.
Published: (2009)

Fuzzy agent-based model for learning behavior in formal education
by: Nur Syafikah, Sukri
Published: (2019)

Formal verification of RFID system using model verification agent
by: Lockman, Muhammad Tarmizi
Published: (2012)

The formal specification for competency requirements
by: Roslina, Mohd Sidek, et al.
Published: (2011)

Formality shifts in management meetings
by: Mohd Johari, Muhammad Danis
Published: (2016)

Formal language theory and DNA
by: Mohd. Ali, Nor Muhainiah
Published: (2004)

Pelbagai Aspek Budaya Formal Di Sekolah
by: Yahaya, Azizi, et al.
Published: (2010)

Semantic Modelling of e-Solutions Using a View Formalism with Conceptual and Logical Extensions
by: Rajugan, R., et al.
Published: (2005)

Validation of the “sladecom” model as a contemporary panacea for the improvement of formal land market in Nigeria
by: Akinbola, Kazeem Bolayemi, et al.
Published: (2017)

Formalizing a grammar for reputation in peer-to-peer communication
by: Hussain, Farookh, et al.
Published: (2005)

CPT443 – AUTOMATA THEORY & FORMAL LANGUAGES [TEORI AUTOMATA & BAHASA FORMAL] JUN 2016
by: PPSKOM, Pusat Pengajian Sains Komputer
Published: (2016)