Innovations in Systems and Software Engineering

  1614-5054

  1614-5046

 

Cơ quản chủ quản:  SPRINGER LONDON LTD , Springer London

Lĩnh vực:
Software

Các bài báo tiêu biểu

Software release planning for evolving systems
Tập 1 Số 2 - Trang 189-204 - 2005
Omolade Saliu, Guenther Ruhe
Transforming OntoUML into Alloy: towards conceptual model validation using a lightweight formal method
- 2010
Bernardo Ferreira Bastos Braga, João Paulo A. Almeida, Giancarlo Guizzardi, Alessander Botti Benevides
Iris-based human identity recognition with machine learning methods and discrete fast Fourier transform
Tập 17 - Trang 309-317 - 2021
Maciej Szymkowski, Piotr Jasiński, Khalid Saeed
One of the most important modules of computer systems is the one that is responsible for user safety. It was proven that simple passwords and logins cannot guarantee high efficiency and are easy to obtain by the hackers. The well-known alternative is identity recognition based on biometrics. In recent years, more interest was observed in iris as a biometrics trait. It was caused due to high efficiency and accuracy guaranteed by this measurable feature. The consequences of such interest are observable in the literature. There are multiple, diversified approaches proposed by different authors. However, neither of them uses discrete fast Fourier transform (DFFT) components to describe iris sample. In this work, the authors present their own approach to iris-based human identity recognition with DFFT components selected with principal component analysis algorithm. For classification, three algorithms were used—k-nearest neighbors, support vector machines and artificial neural networks. Performed tests have shown that satisfactory results can be obtained with the proposed method.
UML behavioral consistency checking using instantiable Petri nets
- 2008
Yann Thierry-Mieg, Lom Messan Hillah
Agile knowledge management: a survey of Indian perceptions
- 2014
Amitoj Singh, Kawaljeet Singh, Neeraj Sharma
Formal executable semantics for conformance in the MDE framework
Tập 6 Số 1-2 - Trang 73-81 - 2010
Marina Egea, Vlad Rusu
A verification environment for bigraphs
Tập 9 Số 2 - Trang 95-104 - 2013
Gian Perrone, Søren Debois, Thomas Hildebrandt
Multi-objective test prioritization via a genetic algorithm
- 2014
Mitrabinda Ray, Durga Prasad Mohapatra
AALpy: an active automata learning library
- 2022
Edi Muškardin, Bernhard K. Aichernig, Ingo Pill, Andrea Pferscher, Martin Tappler
AbstractAALpy is an extensible open-source Python library providing efficient implementations of active automata learning algorithms for deterministic, non-deterministic, and stochastic systems. We put a special focus on the conformance testing aspect in active automata learning, as well as on an intuitive and seamlessly integrated interface for learning automata characterizing real-world reactive systems. In this article, we present AALpy’s core functionalities, illustrate its usage via examples, and evaluate its learning performance. Finally, we present selected case studies on learning models of various types of systems with AALpy.