Journal: International Journal of Software Engineering and Knowledge Engineering

Volume 15, Issue 6

919 -- 922Nenad Stankovic. Guest Editor s Introduction
923 -- 940Jussipekka Leiwo, Teemupekka Virtanen. Understanding and Communicating It Security Specifications with Uml
941 -- 974Robert R. Roxas, Nikolay N. Mirenkov. cyber-film : a Visual Approach that Facilitates Program Comprehension
975 -- 994José Luis Sierra, Baltasar Fernández-Manjón, Alfredo Fernández-Valmayor, Antonio Navarro. Document-oriented Development of Content-intensive Applications
995 -- 1026Welf Löwe, Thomas Panas. Rapid Construction of Software Comprehension Tools
1027 -- 1062Yang Li, Hongji Yang, Xiao-Chun Cheng, Xiao-Yan Zhu. Programming Style Based Program Partition
1063 -- 1094Anthony Savidis, Margherita Antona, Constantine Stephanidis. A Decision-making Specification Language for Verifiable User-interface Adaptation Logic

Volume 15, Issue 5

747 -- 750George Spanoudakis, Andrea Zisman. Guest Editors Introduction
751 -- 782Jane Huffman Hayes, Alex Dekhtyar. A Framework for Comparing Requirements Tracing Experiments
783 -- 810Alexander Egyed, Paul Grünbacher. Supporting Software Understanding with Automated Requirements Traceability
811 -- 836Andrian Marcus, Jonathan I. Maletic, Andrey Sergeyev. Recovery of Traceability Links between Software Documentation and Source Code
837 -- 872Min Deng, R. E. Kurt Stirewalt, Betty H. C. Cheng. Retrieval by Construction: a Traceability Technique to Support Verification and Validation of Uml Formalizations
873 -- 892Hazem El-Gendy, Nabil El-Kadhi. Formal Method for Automated Transformation of Lotos Specifications to Estelle Specifications
893 -- 918Stephen G. MacDonell, Andrew R. Gray. The Viability of Fuzzy Logic Modeling in Software Development Effort Estimation: Opinions and Expectations of Project Managers

Volume 15, Issue 4

587 -- 606Yongsun Cho, Woojin Lee, Kiwon Chong. The Technique of Business Model Driven Analysis and Test Design for Development of Web Applications
607 -- 646Rebeca P. Díaz Redondo, José J. Pazos Arias, Ana Fernández Vilas, Jorge García Duque, Alberto Gil-Solla. Arifs Methodology Reusing Incomplete Models at the Requirements Specification Stage
647 -- 664Richi Nayak, Tian Qiu. A Data Mining Application Analysis of Problems Occurring during a Software Project Development Process
665 -- 694Nestor Rychtyckyj, Robert G. Reynolds. Using Cultural Algorithms to re-engineer Large-scale Semantic Networks
695 -- 718Hongyu Zhang, Stan Jarzabek. A Bayesian Network Approach to Rational Architectural Design
719 -- 746Haiping Xu, Zhiguo Zhang, Sol M. Shatz. A Security Based Model for Mobile Agent Software Systems

Volume 15, Issue 3

473 -- 474Jeffrey J. P. Tsai, Du Zhang. Guest Editors Introduction
475 -- 486Pengyu Hong, Sheng Zhong, Wing Hung Wong. Ubic2 - Towards Ubiquitous Bio-Information Computing: Data Protocols, Middleware, and Web Services for Heterogeneous Biological Information Integration and Retrieval
487 -- 510Ane Tröger, Alvaro A. A. Fernandes. A Language-Based Approach for Comprehensively Supporting the In Silico Experimental Process
511 -- 526Marco Masseroli, Andrea Stella, Myriam Alcalay, Francesco Pinciroli. Genewebex: Gene Annotation Web Extraction, Aggregation, and Updating From Web-Interfaced Biomolecular Databanks
527 -- 546Pin-Hao Chi, Grant J. Scott, Chi-Ren Shyu. A Fast Protein Structure Retrieval System Using Image-Based Distance Matrices and Multidimensional Index
547 -- 570Fei Xie, Phillip C.-Y. Sheu, Arthur Lander, Vittorio Cristini. Semantic Analysis and Synthesis of Complex Biological Systems
571 -- 585Rong-Ming Chen, Falcon F. M. Liu, Jeffrey J. P. Tsai. A Software Architecture for Finding Motifs Using Genetic Algorithm

Volume 15, Issue 2

135 -- 146Marcelo H. Ang Jr.. Towards Pervasive Robotics: Compliant Motion in Human Environments
147 -- 152Kian Hsiang Low, Heng Wang, Kim-Meow Liew, Yiyu Cai. Modeling and Motion Control of Robotic Hand for Telemanipulation Application
153 -- 160Teck Hong Koh, Francis Eng Hock Tay, M. W. S. Lau, E. Low, Gerald Seet. Design Analysis of The Propulsion and Control System of an Underactuated Remotely Operated Vehicle Using Axiomatic Design Theory - Part 1
161 -- 168Teck Hong Koh, Francis Eng Hock Tay, M. W. S. Lau, E. Low, Gerald Seet. Design Analysis of the PropulsionaAnd Control System of an Underactuated Remotely Operated Vehicle Using Axiomatic Design Theory - Part 2
169 -- 176Adrian David Cheok, Man Fung Ho, Eva Yustina, Shang Ping Lee. Mobile Computing with Personal Area Network and Human Power Generation
177 -- 182Kwong-Luck Tan, Francis Eng Hock Tay, Hugo Van Bever. Sleep Monitoring Devices Using Electric Field (E-Field) Mattress for Children with Eczema
183 -- 188Francis Eng Hock Tay, Myo Naing Nyan, Teck Hong Koh, K. H. W. Seah, Yih Yiow Sitoh. Smart Shirt That Can Call for Help After A Fall
193 -- 198T. Y. Jiang, J. Guzman, H. Z. Li, Z. M. Gong. The Development of an Embedded, Integrated Ins/Gps System
199 -- 204Karianto Leman, Goel Ankit, T. Tan. Pda Based Human Motion Recognition System
205 -- 214Guolin Xu, Francis Eng Hock Tay, Ciprian Iliescu, Victor Samper. Multi-Channel Biotelemetry System Using Microcontroller with Uhf Transmit Function
215 -- 224Kimmo Keränen, Mikko Karppinen, Jaakko Lenkkeri, Jukka-Tapani Mäkinen, Jyrki Ollila, Pentti Karioja. Ltcc Technology For Photonic and Millimeter Wave Module Integration
225 -- 230Bangtao Chen, Jianmin Miao, Chunkiat Lim, Francis Eng Hock Tay, Ciprian Iliescu. Dynamic Behaviors of High-G Mems Accelerometer Incorporated with Novel Micro-Flexures
231 -- 236Liming Yu, Francis Eng Hock Tay, Guolin Xu, Ciprian Iliescu, Marioara Avram. Theoretical Analysis and Experiment of A Novel Dep Chip With 3-D Silicon Electrodes
237 -- 242Kwong-Luck Tan, Prashant Padmanabhan, Ciprian Iliescu, Francis Eng Hock Tay. Modeling and Analysis of Nanotips for Thermoelectric Coolers
243 -- 248Yanping Bai, Jianzhong Wang, Zhen Jin. Model and Application of Impact Wave in Measuring Dynamic Characteristic of Microstructure
249 -- 258Yi Zhao, Francis Eng Hock Tay, Siong Chau Fook, Guangya Zhou. Control-Oriented Modeling of 2d Torsional Micromirror
259 -- 264Larry Hughes, Hosein Marzi, Yanting Lin. A New Approach in Designing Interprocess Communication for Real-Time Systems
265 -- 270Thu-Thuy Do, Daeyoung Kim, Tomas Sanchez Lopez, Hyunhak Kim, Seongki Hong, Minh-Long Pham, Kwangyong Lee, Seongmin Park. An Evolvable Operating System for Wireless Sensor Networks
271 -- 278Yung Han Tan, Arun Krishnan Thampi, Daley Joseph Sebastian, Yajun Ha. Design of Seamless Protocol Switching Layer for Voice Over Internet Protocol (Voip) That Switches Between Bluetooth and Ieee 802.11
279 -- 288Jia Hui Ng, Chaur Lih Tan, Ya Jun Ha. An Embedded System to Support Tele-Medical Activity
289 -- 298Martin von Mohrenschildt. Predictive Traces in Hybrid Systems
299 -- 306Ka L. Man, Michel A. Reniers, Pieter J. L. Cuijpers. Case Studies in The Hybrid Process Algebra Hypa
307 -- 312Sebastian Engell, Sven Lohmann, Olaf Stursberg. Verification of Embedded Supervisory Controllers Considering Hybrid Plant Dynamics
313 -- 318H. Z. Li, Zhiming Gong, W. Lin, T. Y. Jiang, Xiaoqi Chen. Dsp-Based Motion Control of a Non-Commutated Dc Linear Motor Module
319 -- 324Mohammed Rafiq Uddin, Gazi Maeen-Ur-Rashid, Md. Shahidul Islam. Microcontroller Based Light Control
325 -- 334Zhong-Qiang Ding, Keck Voon Ling, Kiah Mok Goh. The Rapid Development of A Closed-Loop Control System
335 -- 342Teng Tiow Tay, Kar Sin Ng, Yan Pan. Hw/Sw Co-Design for Low Power Arithmetic and Logic Units
343 -- 348Andreas Doblander, Dietmar Gösseringer, Bernhard Rinner, Helmut Schwabach. An Evaluation of Model-Based Software Synthesis from Simulink Models for Embedded Video Applications
349 -- 356Manuel A. Pereira Remelhe, Sebastian Engell. Combining Modelica Models with Discrete Event Formalisms for Simulation Using the Des/M Environmentc
357 -- 362Haiping Wu, Ziang Hu, Joseph Manzano, Guang R. Gao. Madd Operation Aware Redundancy Elimination
363 -- 372Sung Ly, Abbas Bigdeli. Extendable and Dynamically Reconfigurable Multi-Protocol Firewall
373 -- 378Jin Song Dong, Ping Hao, Brendan P. Mahony. Formal Designs for Embedded and Hybrid Systems
379 -- 388Sandeep Padmanabhan, Yann-Hang Lee. Efficient State-Saving Architectures for Power-Mode Switching
389 -- 396Timothy Bourke, Arcot Sowmya. Formal Models in Industry Standard Tools: an Argos Block within Simulink
397 -- 404Thao Dang. A Reachability-Based Technique for Idle Speed Control Synthesis
405 -- 410Ivan Radojevic, Zoran A. Salcic, Partha S. Roop. A New Model for Heterogeneous Embedded Systems - What Esterel and SyncCharts Need to Become a Suitable Specification Platform
411 -- 418A. P. Dhande, V. T. Ingole. Design of 3-Valued R-S & D Flip-Flops Based on Simple Ternary Gates
419 -- 426Jesse Davis, Douglas Stark, Nicholas Edmonds. Method Of Interaction In A Modular Architecture For Sensor Systems (Mass)
427 -- 432Jun Yao, Jie Chen, Zhaojun Lin. High Performance Mac Unit Using Modified Sign Extension Algorithm and A New High-Speed Alu in Dsp-Core
433 -- 438Md. Shazzad Hosain, Muhammad Abdul Hakim Newton. Multi-Key Index for Distributed Database System
439 -- 446Hosein Marzi. High-Speed Rt Monitoring System Using Neural Networks
447 -- 454Wendong Zhang, Yanping Bai. A Hybrid Elastic Net Method for Solving the Traveling Salesman Problem
455 -- 460Andojo Ongkodjojo Ong, Francis Eng Hock Tay. Pareto Simulated Annealing (Sa)-Based Multi-Objective Optimization for Mems Design and Application
461 -- 466Pao-Ann Hsiung, Hsin-Chieh Kao. Device-Centric Low-Power Scheduling for Real-Time Embedded Systems
467 -- 0Cha Kun Lee, Paul I. Barton. Global Optimization Of Linear Hybrid Systems With Varying Time Events

Volume 15, Issue 1

1 -- 33Zhongyu Lu. A Survey Of Xml Applications On Science And Technology
35 -- 60Michael E. Shin, Alexander H. Levis, Lee W. Wagenhals, Dae-Sik Kim. Analyzing Dynamic Behavior Of Large-Scale Systems Through Model Transformation
61 -- 85Bo Chen, Samira Sadaoui. A Generic Formal Framework For Constructing Agent Interaction Protocols
87 -- 115Tsukasa Ebihara, Nikolay N. Mirenkov, Masaaki Nemoto, Rikio Nomoto. Filmification Of Methods And An Example Of Its Applications
117 -- 130Anna Formica. Similarity Of Xml-Schema Elements Supported By Domain Ontologies