| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A certified access control policy language: TEpla
|
Eaman, Amir
|
|
|
|
1 |
p. 49-64
|
artikel
|
| 2 |
Achieving agility through BRIDGE process model: an approach to integrate the agile and disciplined software development
|
Mandal, Ardhendu
|
|
2014
|
|
1 |
p. 1-7
|
artikel
|
| 3 |
Achieving lossless compression of audio by encoding its constituted components (LCAEC)
|
Mondal, Uttam Kr.
|
|
2018
|
|
1 |
p. 75-85
|
artikel
|
| 4 |
A framework for automated and certified refinement steps
|
Griesmayer, Andreas
|
|
2012
|
|
1 |
p. 3-16
|
artikel
|
| 5 |
Agile governance theory: operationalization
|
Luna, Alexandre J. H. de O.
|
|
|
|
1 |
p. 3-44
|
artikel
|
| 6 |
A homomorphic computational model for Chinese remainder theorem-based secret sharing
|
Roy, Parthajit
|
|
|
|
1 |
p. 63-70
|
artikel
|
| 7 |
A hybrid approach for medical images classification and segmentation to reduce complexity
|
Kumar, Ankit
|
|
|
|
1 |
p. 33-46
|
artikel
|
| 8 |
A hybrid cellular automata-based model for leakage detection in smart drip irrigation water pipeline structure using IoT sensors
|
Banerjee, Arpita
|
|
|
|
1 |
p. 23-32
|
artikel
|
| 9 |
A methodology for verifying SysML requirements using activity diagrams
|
Rahim, Messaoud
|
|
2016
|
|
1 |
p. 19-33
|
artikel
|
| 10 |
A model-driven approach for the derivation of architectural requirements of software product lines
|
Bragança, Alexandre
|
|
2009
|
|
1 |
p. 65-78
|
artikel
|
| 11 |
A model-driven engineering framework for embedded systems design
|
Nascimento, Francisco Assis Moreira do
|
|
2011
|
|
1 |
p. 19-33
|
artikel
|
| 12 |
An adaptive fractal-based image coding with hierarchical classification strategy and its modifications
|
Nandi, Utpal
|
|
2019
|
|
1 |
p. 35-42
|
artikel
|
| 13 |
An approach for modeling a formal Use Case Type at early development phase without loosing abstraction
|
Marcondes, Francisco Supino
|
|
2010
|
|
1 |
p. 1-8
|
artikel
|
| 14 |
An efficient Apriori algorithm for frequent pattern in human intoxication data
|
Hassan, Md. Mehedi
|
|
|
|
1 |
p. 61-69
|
artikel
|
| 15 |
An enumerated analysis of NoSQL data models using statistical tools
|
Samanta, Ashis Kumar
|
|
|
|
1 |
p. 5-14
|
artikel
|
| 16 |
An Event-B model for dynamically managing cloud resources
|
Lahouij, Aida
|
|
|
|
1 |
p. 85-104
|
artikel
|
| 17 |
An evolutionary testbed for software technology evaluation
|
Lindvall, Mikael
|
|
2005
|
|
1 |
p. 3-11
|
artikel
|
| 18 |
A novel hybrid multi-resource load balancing approach using ant colony optimization with Tabu search for cloud computing
|
Gabhane, Jyotsna P.
|
|
|
|
1 |
p. 81-90
|
artikel
|
| 19 |
A novel multi-dimensional encryption technique to secure the grayscale images and color images in public cloud storage
|
Boopathy, D.
|
|
2019
|
|
1 |
p. 43-64
|
artikel
|
| 20 |
A novel SPN-based video steganographic scheme using Sudoku puzzle for secured data hiding
|
Jana, Sunanda
|
|
2019
|
|
1 |
p. 65-73
|
artikel
|
| 21 |
Applying grounded theory to understand software process improvement implementation: a study of Brazilian software organizations
|
Montoni, Mariano Angel
|
|
2013
|
|
1 |
p. 33-40
|
artikel
|
| 22 |
Approximate verification in an open source world
|
Breuer, Peter T.
|
|
2008
|
|
1 |
p. 87-105
|
artikel
|
| 23 |
A relationship-based approach to model integration
|
Chechik, Marsha
|
|
2011
|
|
1 |
p. 3-18
|
artikel
|
| 24 |
A smart application to detect pupil for small dataset with low illumination
|
Swathi, A.
|
|
|
|
1 |
p. 29-43
|
artikel
|
| 25 |
Aspect-oriented design and implementation of context-aware pervasive applications
|
Fuentes, Lidia
|
|
2009
|
|
1 |
p. 79-93
|
artikel
|
| 26 |
Aspect-oriented modeling framework for security hardening
|
Mouheb, D.
|
|
2015
|
|
1 |
p. 41-67
|
artikel
|
| 27 |
A study of efficiency measurement of Jaipur metro mass transit system using data envelopment analysis
|
Sharma, Pankaj
|
|
|
|
1 |
p. 47-60
|
artikel
|
| 28 |
A study on data aggregation techniques in wireless sensor network in static and dynamic scenarios
|
Sarangi, Kaustuv
|
|
2019
|
|
1 |
p. 3-16
|
artikel
|
| 29 |
A study to support agile methods more effectively through traceability
|
Espinoza, Angelina
|
|
2011
|
|
1 |
p. 53-69
|
artikel
|
| 30 |
A survey of UML applications in mechatronic systems
|
Valles-Barajas, Fernando
|
|
2011
|
|
1 |
p. 43-51
|
artikel
|
| 31 |
A systematic method for diagnosis of hepatitis disease using machine learning
|
Sachdeva, Ravi Kumar
|
|
|
|
1 |
p. 71-80
|
artikel
|
| 32 |
A UML-based approach to system testing
|
Hartmann, Jean
|
|
2005
|
|
1 |
p. 12-24
|
artikel
|
| 33 |
Automatic framework generation for hard real-time applications
|
Hamid, Irfan
|
|
2008
|
|
1 |
p. 107-122
|
artikel
|
| 34 |
Automatic pattern-based consistency checking in model refactoring: introducing a formal behavioral preserving method
|
Ghaedi Heidari, Saeedeh
|
|
|
|
1 |
p. 65-84
|
artikel
|
| 35 |
Automatic use case classification based on topic grouping for requirements engineering
|
Vahabi, Shahrokh
|
|
|
|
1 |
p. 85-96
|
artikel
|
| 36 |
Autonomic computing
|
Sterritt, Roy
|
|
2005
|
|
1 |
p. 79-88
|
artikel
|
| 37 |
Blending Scrum practices and CMMI project management process areas
|
Marçal, Ana Sofia C.
|
|
2008
|
|
1 |
p. 17-29
|
artikel
|
| 38 |
Bridging the requirements–implementation modeling gap with object–process methodology
|
Soffer, Avi
|
|
2009
|
|
1 |
p. 27-34
|
artikel
|
| 39 |
Building and implementing policies in autonomous and autonomic systems using MaCMAS
|
Peña, Joaquin
|
|
2007
|
|
1 |
p. 17-31
|
artikel
|
| 40 |
Cobra: a light-weight tool for static and dynamic program analysis
|
Holzmann, Gerard J.
|
|
2016
|
|
1 |
p. 35-49
|
artikel
|
| 41 |
Component-based analysis of embedded control applications
|
Angelov, Christo
|
|
2011
|
|
1 |
p. 79-92
|
artikel
|
| 42 |
Continuity aspects of embedded reconfigurable computing
|
Vinh, Phan C.
|
|
2005
|
|
1 |
p. 41-53
|
artikel
|
| 43 |
Contract-based specification of mode-dependent timing behavior
|
Kröger, Janis
|
|
|
|
1 |
p. 31-47
|
artikel
|
| 44 |
Converting scenarios to CSP traces with Mise en Scene for requirements-based programming
|
Carter, J.
|
|
2008
|
|
1 |
p. 45-70
|
artikel
|
| 45 |
Correlation analysis between different parameters to predict cement logistics
|
Kaur, Gagandeep
|
|
|
|
1 |
p. 117-127
|
artikel
|
| 46 |
Coverage visualization and analysis of net inscriptions in coloured Petri net models
|
Ahishakiye, Faustin
|
|
|
|
1 |
p. 17-30
|
artikel
|
| 47 |
Development and performance analysis of a low-cost MEMS microphone-based hearing aid with three different audio amplifiers
|
Mallik, Souvik
|
|
2019
|
|
1 |
p. 17-25
|
artikel
|
| 48 |
Domain engineering for customer experience management
|
Benzarti, Imen
|
|
|
|
1 |
p. 171-191
|
artikel
|
| 49 |
Dynamic vulnerability assessments of software-defined networks
|
Deb, Raktim
|
|
|
|
1 |
p. 45-51
|
artikel
|
| 50 |
Editorial preface
|
Mandal, Jyotsna Kumar
|
|
2019
|
|
1 |
p. 1
|
artikel
|
| 51 |
Efficient incremental loading in ETL processing for real-time data integration
|
Biswas, Neepa
|
|
|
|
1 |
p. 53-61
|
artikel
|
| 52 |
Employing use cases to early estimate effort with simpler metrics
|
Robiolo, Gabriela
|
|
2008
|
|
1 |
p. 31-43
|
artikel
|
| 53 |
Formal analysis of pilot error with agent safety logic
|
Ahrenbach, Seth
|
|
2018
|
|
1 |
p. 47-58
|
artikel
|
| 54 |
Formal requirements modelling with executable use cases and coloured Petri nets
|
Jørgensen, Jens B.
|
|
2009
|
|
1 |
p. 13-25
|
artikel
|
| 55 |
From Statecharts to Verilog: a formal approach to hardware/software co-specification
|
Qin, Shengchao
|
|
|
|
1 |
p. 17-38
|
artikel
|
| 56 |
From Statecharts to Verilog: a formal approach to hardware/software co-specification
|
Qin, Shengchao
|
|
2006
|
|
1 |
p. 17-38
|
artikel
|
| 57 |
From verified model to executable program: the PAT approach
|
Zhu, Huiquan
|
|
2015
|
|
1 |
p. 1-26
|
artikel
|
| 58 |
GRAPHIC illustrations of autonomic computing concepts
|
Bustard, David
|
|
2007
|
|
1 |
p. 61-69
|
artikel
|
| 59 |
Guest Editorial: Intelligence for systems and software engineering
|
Hinchey, Mike
|
|
|
|
1 |
p. 1-4
|
artikel
|
| 60 |
High-speed processing in wired-and-wireless integrated autonomous decentralized system and its application to IC card ticket system
|
Shiibashi, Akio
|
|
2007
|
|
1 |
p. 53-60
|
artikel
|
| 61 |
Improving software management: the industry model, the knowledge model, the network model
|
Rose, Jeremy
|
|
2014
|
|
1 |
p. 9-23
|
artikel
|
| 62 |
Improving the scalability of formal human–automation interaction verification analyses that use task-analytic models
|
Bolton, Matthew L.
|
|
2016
|
|
1 |
p. 1-17
|
artikel
|
| 63 |
Innovations in systems and software engineering guest editorial: special issue on software and systems reuse
|
Jilani, Lamia Labed
|
|
|
|
1 |
p. 1-3
|
artikel
|
| 64 |
Insightful analogy-based software development effort estimation through selective classification and localization
|
Khatibi Bardsiri, Vahid
|
|
2014
|
|
1 |
p. 25-38
|
artikel
|
| 65 |
Introduction to Innovations in System and Software Engineering
|
Bohner, Shawn A.
|
|
2005
|
|
1 |
p. 1-2
|
artikel
|
| 66 |
Introduction to special issue: model-based development methodologies
|
Machado, Ricardo J.
|
|
2009
|
|
1 |
p. 1-3
|
artikel
|
| 67 |
Introduction to Special Issue: Quality in Information and Communications Technology
|
Machado, Ricardo J.
|
|
2014
|
|
1 |
p. 1-2
|
artikel
|
| 68 |
Introduction to special issue: selected papers from SEW-31
|
Hinchey, Michael G.
|
|
2008
|
|
1 |
p. 1
|
artikel
|
| 69 |
Investigating structural metrics for understandability prediction of data warehouse multidimensional schemas using machine learning techniques
|
Gosain, Anjana
|
|
2017
|
|
1 |
p. 59-80
|
artikel
|
| 70 |
Investigating the evolution of code smells in object-oriented systems
|
Chatzigeorgiou, Alexander
|
|
2013
|
|
1 |
p. 3-18
|
artikel
|
| 71 |
Managing complexity and variability of a model-based embedded software product line
|
Polzer, Andreas
|
|
2011
|
|
1 |
p. 35-49
|
artikel
|
| 72 |
MDE for SoC design
|
Truşcan, Dragoş
|
|
2009
|
|
1 |
p. 49-64
|
artikel
|
| 73 |
Model-based approaches and frameworks for embedded software systems
|
Fernandes, João M.
|
|
2011
|
|
1 |
p. 1-2
|
artikel
|
| 74 |
Model-based design of resilient systems using quantitative risk assessment
|
Mediouni, Braham Lotfi
|
|
|
|
1 |
p. 3-16
|
artikel
|
| 75 |
Model checking driven static analysis for the real world: designing and tuning large scale bug detection
|
Fehnker, Ansgar
|
|
2012
|
|
1 |
p. 45-56
|
artikel
|
| 76 |
Model-driven architecture-centric engineering of (embedded) software intensive systems: modeling theories and architectural milestones
|
Broy, Manfred
|
|
2006
|
|
1 |
p. 75-102
|
artikel
|
| 77 |
Modeling and analysis of interactive telemedicine systems
|
Liu, Jing
|
|
2013
|
|
1 |
p. 55-69
|
artikel
|
| 78 |
Modeling security as a dependability attribute: a refinement-based approach
|
Mili, Ali
|
|
|
|
1 |
p. 39-48
|
artikel
|
| 79 |
Modeling security as a dependability attribute: a refinement-based approach
|
Mili, Ali
|
|
2006
|
|
1 |
p. 39-48
|
artikel
|
| 80 |
Modeling uncertainty in software engineering using rough sets
|
Laplante, Phillip A.
|
|
2005
|
|
1 |
p. 71-78
|
artikel
|
| 81 |
Model transformations in the UPES/UPSoC development process for embedded systems
|
Riccobene, Elvinia
|
|
2009
|
|
1 |
p. 35-47
|
artikel
|
| 82 |
Modular artifact synthesis from domain-specific models
|
Mannadiar, Raphael
|
|
2011
|
|
1 |
p. 65-77
|
artikel
|
| 83 |
Modular exponentiation with inner product to resist higher-order DPA attacks
|
Mahanta, Hridoy Jyoti
|
|
|
|
1 |
p. 87-97
|
artikel
|
| 84 |
Online, library-based visual formal specification monitoring system for monitoring log-files with visible and hidden data
|
Drusinsky, Doron
|
|
2016
|
|
1 |
p. 67-79
|
artikel
|
| 85 |
On the refinement of use case models with variability support
|
Azevedo, Sofia
|
|
2011
|
|
1 |
p. 51-64
|
artikel
|
| 86 |
On the use of OLS regression algorithm and Pearson correlation algorithm for improving the SLA establishment process in cloud computing
|
Labidi, Taher
|
|
|
|
1 |
p. 215-229
|
artikel
|
| 87 |
Optimized classification model for plant diseases using generative adversarial networks
|
Lamba, Shweta
|
|
|
|
1 |
p. 103-115
|
artikel
|
| 88 |
Optimized ensemble machine learning model for software bugs prediction
|
Johnson, Femi
|
|
|
|
1 |
p. 91-101
|
artikel
|
| 89 |
Patterns: from system design to software testing
|
Soundarajan, Neelam
|
|
2008
|
|
1 |
p. 71-85
|
artikel
|
| 90 |
Performance analysis of an efficient object-based schema oriented data storage system handling health data
|
Mondal, Anindita Sarkar
|
|
|
|
1 |
p. 63-77
|
artikel
|
| 91 |
Performance analysis of supervised classification models on heart disease prediction
|
Ogundepo, Ezekiel Adebayo
|
|
|
|
1 |
p. 129-144
|
artikel
|
| 92 |
Perspectives to promote modularity, reusability, and consistency in multi-language systems
|
Ali, Hyacinth
|
|
|
|
1 |
p. 5-37
|
artikel
|
| 93 |
Predicting different levels of the unit testing effort of classes using source code metrics: a multiple case study on open-source software
|
Toure, Fadel
|
|
2017
|
|
1 |
p. 15-46
|
artikel
|
| 94 |
Predicting risk as a function of risk factors
|
Schneidewind, Norman F.
|
|
2005
|
|
1 |
p. 63-70
|
artikel
|
| 95 |
Preface to the VECoS 2020 & 2021 special issue of ISSE
|
Barkaoui, Kamel
|
|
|
|
1 |
p. 1-2
|
artikel
|
| 96 |
Product recommendation for e-commerce business by applying principal component analysis (PCA) and K-means clustering: benefit for the society
|
Bandyopadhyay, Soma
|
|
|
|
1 |
p. 45-52
|
artikel
|
| 97 |
Property verification of asynchronous systems
|
Cerone, Antonio
|
|
2005
|
|
1 |
p. 25-40
|
artikel
|
| 98 |
Recoverability preservation: a measure of last resort
|
Mili, Ali
|
|
2005
|
|
1 |
p. 54-62
|
artikel
|
| 99 |
Refactoring for reuse: an empirical study
|
Alomar, Eman Abdullah
|
|
|
|
1 |
p. 105-135
|
artikel
|
| 100 |
Representativeness models of systems: smart grid example
|
Schneidewind, Norman
|
|
2011
|
|
1 |
p. 23-41
|
artikel
|
| 101 |
Requirements engineering and enterprise architecture-based software discovery and reuse
|
Belfadel, Abdelhadi
|
|
|
|
1 |
p. 39-60
|
artikel
|
| 102 |
Requirements traceability recovery for the purpose of software reuse: an interactive genetic algorithm approach
|
Hamdi, Mohamed Salah
|
|
|
|
1 |
p. 193-213
|
artikel
|
| 103 |
Resisting HODPA attacks in modular exponentiation using inner product with differential evolution
|
Mahanta, Hridoy Jyoti
|
|
|
|
1 |
p. 53-62
|
artikel
|
| 104 |
Retinal image registration from artery–venous subtree by graph theoretical characterization of retinal vascular network
|
Dutta Roy, Nilanjana
|
|
|
|
1 |
p. 79-86
|
artikel
|
| 105 |
Reuse in component-based prototyping: an industrial experience report from 15 years of reuse
|
Laborde, Pierre
|
|
|
|
1 |
p. 155-169
|
artikel
|
| 106 |
Self-adaptive business processes: a hybrid approach for the resolution of adaptation needs
|
Oukharijane, Jamila
|
|
|
|
1 |
p. 61-83
|
artikel
|
| 107 |
Semantics in space systems architectures
|
Romero, Alessandro Gerlinger
|
|
2015
|
|
1 |
p. 27-40
|
artikel
|
| 108 |
Seven software engineering principles for autonomic computing development
|
Lightstone, Sam
|
|
2007
|
|
1 |
p. 71-74
|
artikel
|
| 109 |
Sketch theory as a framework for knowledge management
|
Wojtowicz, Ralph L.
|
|
2015
|
|
1 |
p. 69-79
|
artikel
|
| 110 |
Smart automation in manufacturing process using industrial internet of things (IIoT) architecture
|
Singh, Jasjeet
|
|
|
|
1 |
p. 15-22
|
artikel
|
| 111 |
Special Issue: Harnessing theories for tool support in software
|
Stolz, Volker
|
|
2012
|
|
1 |
p. 1-2
|
artikel
|
| 112 |
Special issue on software solutions for contemporary applications
|
Mandal, Jyotsna K.
|
|
|
|
1 |
p. 1
|
artikel
|
| 113 |
Specifying real-time properties in autonomic systems
|
Zhang, Ji
|
|
2007
|
|
1 |
p. 3-16
|
artikel
|
| 114 |
State-rich model checking
|
Freitas, Leo
|
|
|
|
1 |
p. 49-64
|
artikel
|
| 115 |
State-rich model checking
|
Freitas, Leo
|
|
2006
|
|
1 |
p. 49-64
|
artikel
|
| 116 |
Support vector regression for enhancement effort prediction of Scrum projects from COSMIC functional size
|
Sakhrawi, Zaineb
|
|
|
|
1 |
p. 137-153
|
artikel
|
| 117 |
Systems and software engineering of autonomic and autonomous systems
|
Sterritt, Roy
|
|
2007
|
|
1 |
p. 1-2
|
artikel
|
| 118 |
Testing operational transformations in model-driven engineering
|
Ciancone, Andrea
|
|
2013
|
|
1 |
p. 19-32
|
artikel
|
| 119 |
The DynaRIA tool for the comprehension of Ajax web applications by dynamic analysis
|
Amalfitano, Domenico
|
|
2013
|
|
1 |
p. 41-57
|
artikel
|
| 120 |
The EMISQ method and its tool support-expert-based evaluation of internal software quality
|
Plösch, R.
|
|
2008
|
|
1 |
p. 3-15
|
artikel
|
| 121 |
The probability of predicting personality traits by the way user types on touch screen
|
Roy, Soumen
|
|
2018
|
|
1 |
p. 27-34
|
artikel
|
| 122 |
The realist approach for evaluation of computational intelligence in software engineering
|
Althar, Raghavendra Rao
|
|
|
|
1 |
p. 17-27
|
artikel
|
| 123 |
Time-triggered buffers for event-based middleware systems
|
Sprinkle, Jonathan
|
|
2010
|
|
1 |
p. 9-22
|
artikel
|
| 124 |
Towards an advanced model-driven engineering toolbox
|
Jouault, Frédéric
|
|
2009
|
|
1 |
p. 5-12
|
artikel
|
| 125 |
Towards a verifiable real-time, autonomic, fault mitigation framework for large scale real-time systems
|
Dubey, Abhishek
|
|
2007
|
|
1 |
p. 33-52
|
artikel
|
| 126 |
Towards formal open standards: formalizing a standard’s requirements
|
Barlas, Konstantinos
|
|
2016
|
|
1 |
p. 51-66
|
artikel
|
| 127 |
Towards harnessing theories through tool support for hard real-time Java programming
|
Bøgholm, Thomas
|
|
2012
|
|
1 |
p. 17-28
|
artikel
|
| 128 |
Tri-level regression testing using nature-inspired algorithms
|
Bajaj, Anu
|
|
|
|
1 |
p. 1-16
|
artikel
|
| 129 |
User-defined schedulers for real-time concurrent objects
|
Bjørk, Joakim
|
|
2012
|
|
1 |
p. 29-43
|
artikel
|
| 130 |
User-oriented problem abstractions in scheduling
|
Pecora, Federico
|
|
|
|
1 |
p. 1-16
|
artikel
|
| 131 |
User-oriented problem abstractions in scheduling
|
Pecora, Federico
|
|
2006
|
|
1 |
p. 1-16
|
artikel
|
| 132 |
Using formal methods to reason about taskload and resource conflicts in simulated air traffic scenarios
|
Houser, Adam
|
|
2017
|
|
1 |
p. 1-14
|
artikel
|
| 133 |
Using metric-based filtering to improve design pattern detection approaches
|
Issaoui, Imène
|
|
2014
|
|
1 |
p. 39-53
|
artikel
|
| 134 |
Web-GIS models: accomplishing modularity with aspects
|
Urbieta, Matias
|
|
2013
|
|
1 |
p. 59-75
|
artikel
|
Tijdschrift beschrijving