Sotabase

Career

· Master of Science in Computing Science student, University of Groningen2023–
· Master's Thesis student (supervised by Prof. Dr. F. Turkmen, Prof. Dr. V. Andrikopoulos, Dr. P. Zuraniewski), University of Groningen2023–
· Executive Director, CCK Consolidated Holdings Bhd1997–
· Research collaborator (implied from publications), TNO (Netherlands Organisation for Applied Scientific Research)
· Principal Investigator on European Projects (CESAR, EMC2), University of Manchester
· Researcher in Component-based Software Development, University of Manchester
· Senior Lecturer in the School of Computer Science, University of Manchester
· Series Editor of the Book Series on Component-based Software Development, University of Manchester
· Researcher in SemIoTic Ecosystem project, University of Maryland, Baltimore County

Publications (156)

Software Component Models
IEEE Transactions on Software Engineering · 2006
428
cited
Computational Logic — CL 2000
Lecture Notes in Computer Science · 2000
183
cited
A taxonomy of software component models
EUROMICRO Conference on Software Engineering and Advanced Applications · 2005
120
cited
Exogenous connectors for software components
International Symposium on Component-Based Software Engineering · 2005
107
cited
Logic Program Synthesis
The Journal of Logic Programming · 1994
88
cited
A Software Component Model and Its Preliminary Formalisation
Formal Methods for Components and Objects · 2005
57
cited
Evaluating IoT service composition mechanisms for the scalability of IoT systems
Future generations computer systems · 2020
56
cited
A catalogue of component connectors to support development with reuse
Journal of Systems and Software · 2010
42
cited
On Specification Frameworks and Deductive Synthesis of Logic Programs
International Workshop/Symposium on Logic-based Program Synthesis and Transformation · 1994
38
cited
The W Model for Component-Based Software Development
EUROMICRO Conference on Software Engineering and Advanced Applications · 2011
38
cited
An Introduction to Component-Based Software Development
Series on Component-Based Software Development · 2017
37
cited
Steadfast Logic Programs
The Journal of Logic Programming · 1999
37
cited
Component-based Design and Verification in X-MAN
2012
35
cited
An Abstract Formalization of Correct Schemas for Program Synthesis
Journal of symbolic computation · 2000
31
cited
A Taxonomy of Software Composition Mechanisms
EUROMICRO Conference on Software Engineering and Advanced Applications · 2010
30
cited
Top-down Synthesis of Recursive Logic Procedures from First-order Logic Specifications
International Conference on Logic Programming · 1990
26
cited
On Correct Program Schemas
International Workshop/Symposium on Logic-based Program Synthesis and Transformation · 1997
25
cited
A Formal Approach to Software Component Specification
2001
24
cited
OOD Frameworks in Component-Based Software - Development in Computational Logic
International Workshop/Symposium on Logic-based Program Synthesis and Transformation · 1998
24
cited
Composite Connectors for Composing Software Components
International Conference on Software Composition · 2007
23
cited
Sotabase