ANIMATING LOTOS SPECIFICATIONS USING AMLOG

JOURNAL ARTICLE published March 1996 in International Journal of Software Engineering and Knowledge Engineering

Authors: ATSUSHI TOGASHI | GLENN MANSFIELD | NORIO SHIRATORI

Prediction of Regional Commercial Activeness and Entity Condition Based on Online Reviews

JOURNAL ARTICLE published November 2020 in International Journal of Software Engineering and Knowledge Engineering

Authors: Dongjin Yu | Xinfeng Wang | Xiaoxiao Sun

Matching Single-Sort Algebraic Specifications for Software Reuse

JOURNAL ARTICLE published September 1998 in International Journal of Software Engineering and Knowledge Engineering

Authors: Rui Gustavo Crespo

THE APPLICATION-BASED DOMAIN ANALYSIS APPROACH AND ITS OBJECT-PROCESS METHODOLOGY IMPLEMENTATION

JOURNAL ARTICLE published December 2008 in International Journal of Software Engineering and Knowledge Engineering

Authors: ARNON STURM | DOV DORI | ONN SHEHORY

OBJECT ORIENTED DESIGN, MODULAR ANALYSIS, AND FAULT-TOLERANCE OF REAL-TIME CONTROL SOFTWARE SYSTEMS

JOURNAL ARTICLE published September 1996 in International Journal of Software Engineering and Knowledge Engineering

Authors: ANGELO PERKUSICH | MARIA L.B. PERKUSICH | SHI-KUO CHANG

A DEVELOPMENT ENVIRONMENT FOR HARD REAL-TIME APPLICATIONS

JOURNAL ARTICLE published September 1996 in International Journal of Software Engineering and Knowledge Engineering

Authors: PAOLO ANCILOTTI | GIORGIO BUTTAZZO | MARCO DI NATALE | MARCO SPURI

Knowledge-Assisted Retrieval of Spatiotemporal Content in Multimedia Databases

JOURNAL ARTICLE published September 1997 in International Journal of Software Engineering and Knowledge Engineering

Authors: Atsuo Yoshitaka | Masahito Hirakawa | Tadao Ichikawa

Evaluation of Software Reusability Based on Coupling and Cohesion

JOURNAL ARTICLE published October 2018 in International Journal of Software Engineering and Knowledge Engineering

Authors: G. Priyalakshmi | R. Latha

An Ensemble Approach for Detecting Anomalous User Behaviors

JOURNAL ARTICLE published November 2018 in International Journal of Software Engineering and Knowledge Engineering

Authors: Xiangyu Xi | Tong Zhang | Wei Ye | Zhao Wen | Shikun Zhang | Dongdong Du | Qing Gao

A SOFTWARE TEST AND EVALUATION ENVIRONMENT BASED ON LONGITUDINAL DATABASE

JOURNAL ARTICLE published June 2002 in International Journal of Software Engineering and Knowledge Engineering

Authors: S. OHARA | F. TSUNODA | H. MAEZAWA | A. K. ONOMA | M. HUI | T. WANG | P. C.-Y SHEU | RAYMOND PAUL

GUEST EDITORS' INTRODUCTION

JOURNAL ARTICLE published February 2000 in International Journal of Software Engineering and Knowledge Engineering

Authors: MARK GERKEN | YI DENG

AUTHOR INDEX VOLUME 2 (1992)

JOURNAL ARTICLE published December 1992 in International Journal of Software Engineering and Knowledge Engineering

Heterogeneous and Elastic Computation Framework for Mobile Cloud Computing

JOURNAL ARTICLE published September 2014 in International Journal of Software Engineering and Knowledge Engineering

Authors: Chi-Sheng Shih | Joen Chen | Yu-Hsin Wang | Norman Chang

Guest Editors' Introduction

JOURNAL ARTICLE published September 1997 in International Journal of Software Engineering and Knowledge Engineering

iMER-FM: Iterative Process of System Feature Model Extraction from the Requirements

JOURNAL ARTICLE published March 2021 in International Journal of Software Engineering and Knowledge Engineering

Authors: Muhammad Javed | Yuqing Lin

An Algebraic Framework for the Verification of Context-Aware Adaptive Systems

JOURNAL ARTICLE published September 2015 in International Journal of Software Engineering and Knowledge Engineering

Authors: Katerina Ksystra | Petros Stefaneas | Panayiotis Frangos

A PROCEDURE TO TRANSLATE PARADIGM SPECIFICATIONS TO PROPOSITIONAL LINEAR TEMPORAL LOGIC AND ITS APPLICATION TO VERIFICATION

JOURNAL ARTICLE published December 2003 in International Journal of Software Engineering and Knowledge Engineering

Authors: JUAN CARLOS AUGUSTO | RODOLFO SABAS GOMEZ

Developing Web Applications Based on Model Driven Architecture

JOURNAL ARTICLE published March 2014 in International Journal of Software Engineering and Knowledge Engineering

Authors: Yen-Chieh Huang | Chih-Ping Chu

DETECTING EMULATED ENVIRONMENTS

JOURNAL ARTICLE published November 2012 in International Journal of Software Engineering and Knowledge Engineering

Authors: TAUHIDA PARVEEN | SCOTT TILLEY | WILLIAM ALLEN | GERALD MARIN | RICHARD FORD

USING PROGRAM SLICING TO IMPROVE THE EFFICIENCY AND EFFECTIVENESS OF CLUSTER TEST SELECTION

JOURNAL ARTICLE published September 2011 in International Journal of Software Engineering and Knowledge Engineering

Authors: ZHENYU CHEN | YONGWEI DUAN | ZHIHONG ZHAO | BAOWEN XU | JU QIAN