Volume 16,
Number 1,
February 2006
Special Issue:
Best Papers from SEKE 2004
- Frank Maurer, Günther Ruhe:
Guest Editors' Introduction.
1-4
Electronic Edition (link) BibTeX
- Daniel M. Germán, Abram Hindle:
Visualizing the Evolution of Software Using Softchange.
5-22
Electronic Edition (link) BibTeX
- Zhenchang Xing, Eleni Stroulia:
Understanding the Evolution and Co-evolution of Classes in Object-oriented Systems.
23-52
Electronic Edition (link) BibTeX
- Taghi M. Khoshgoftaar, Vedang H. Joshi, Naeem Seliya:
Detecting Noisy Instances with the Ensemble Filter: a Study in Software Quality Estimation.
53-76
Electronic Edition (link) BibTeX
- Stan Jarzabek, Hongyu Zhang, Ru Shen, Vu Tung Lam, Zhenxin Sun:
Analysis of Meta-programs: an Example.
77-102
Electronic Edition (link) BibTeX
- Yan Zhao, Yiyu Yao, Jingtao Yao:
Level-wise Construction of Decision Trees for Classification.
103-126
Electronic Edition (link) BibTeX
- José Cristóbal Riquelme Santos, Macario Polo, Jesús S. Aguilar-Ruiz, Mario Piattini, Francisco J. Ferrer-Troyano, Francisco Ruiz:
A Comparison of Effort Estimation Methods for 4gl Programs: Experiences with Statistics and Data Mining.
127-140
Electronic Edition (link) BibTeX
- Dongwon Jeong, Young-Gab Kim, Soo-Hyun Park:
An Integrity Checking Mechanism of Mobile Agents under a Closed Environment with Trusted Hosts.
141-151
Electronic Edition (link) BibTeX
Volume 16,
Number 2,
April 2006
- Young-Gab Kim, Chang-Joo Moon, Dongwon Jeong, Doo-Kwon Baik:
Formal Verification of Bundle Authentication Mechanism in Osgi Service Platform: Ban Logic.
153-174
Electronic Edition (link) BibTeX
- Samira Sadaoui, Pengzhou Yin:
Generalization and Instantiation for Component Reuse.
175-200
Electronic Edition (link) BibTeX
- Joseph Fong, Anthony Fong, H. K. Wong, Philip Yu:
Translating Relational Schema with Constraints into Xml Schema.
201-244
Electronic Edition (link) BibTeX
- Silvia Regina Vergilio, Aurora Trinidad Ramirez Pozo:
A Grammar-guided Genetic Programming Framework Configured for Data Mining and Software Testing.
245-268
Electronic Edition (link) BibTeX
- Alison Watkins, Ellen M. Hufnagel, Donald J. Berndt, L. Johnson:
Using Genetic Algorithms and Decision Tree Induction to Classify Software Failures.
269-292
Electronic Edition (link) BibTeX
- Gerardo Canfora, Aniello Cimitile, Giuseppe A. Di Lucca, Corrado Aaron Visaggio:
How Distribution Affects the Success of Pair Programming.
293-313
Electronic Edition (link) BibTeX
Volume 16,
Number 3,
June 2006
- W. Eric Wong, Kendra Cooper:
Guest Editors' Introduction.
315-316
Electronic Edition (link) BibTeX
- Dominik Stein, Stefan Hanenberg, Rainer Unland:
Join Point Designation Diagrams: a Graphical Representation of Join Point Selections.
317-346
Electronic Edition (link) BibTeX
- Lirong Dai, Kendra Cooper, W. Eric Wong:
Modeling and Analysis of Performance Aspects for Software Architecture: a Uml-based Approach.
347-378
Electronic Edition (link) BibTeX
- Ik-Joo Han, Doo-Hwan Bae:
Composition of Aspects Based on a Relation Model: Synergy of Multiple Paradigms.
379-402
Electronic Edition (link) BibTeX
- Krishnakumar Balasubramanian, Aniruddha S. Gokhale, Yuehua Lin, Jing Zhang, Jeff Gray:
Weaving Deployment Aspects into Domain-specific Models.
403-424
Electronic Edition (link) BibTeX
- Chul Jin Kim, Eun Sook Cho, Soo Dong Kim:
Variability Design Techniques for Enhancing Component Reusability.
425-470
Electronic Edition (link) BibTeX
- Haralambos Mouratidis, Michael Weiss, Paolo Giorgini:
Modeling Secure Systems Using an Agent-oriented Approach and Security Patterns.
471
Electronic Edition (link) BibTeX
Volume 16,
Number 4,
August 2006
- Igor Ivkovic, Kostas Kontogiannis:
Towards Automatic Establishment of Model Dependencies Using Formal Concept Analysis.
499-522
Electronic Edition (link) BibTeX
- Tong Gao, Hui Ma, I-Ling Yen, Latifur Khan, Farokh B. Bastani:
A Repository for Component-based Embedded Software Development.
523-552
Electronic Edition (link) BibTeX
- Kwok Ping Chan, Tsong Yueh Chen, Dave Towey:
Restricted Random Testing: Adaptive Random Testing by Exclusion.
553-584
Electronic Edition (link) BibTeX
- Peter J. Clarke, Junhua Ding, Djuradj Babich, Brian A. Malloy:
A Tool to Automatically Map Implementation-based Testing Techniques to Classes.
585-614
Electronic Edition (link) BibTeX
- Ombretta Gaggi, Augusto Celentano:
A Laboratory for Prototyping and Testing Multimedia Presentations.
615-642
Electronic Edition (link) BibTeX
- Myriam Noureddine:
Conceptual Model of the Physical Structure of Manufacturing Systems.
643
Electronic Edition (link) BibTeX
Volume 16,
Number 5,
October 2006
- Kai-Yuan Cai, Atsushi Ohnishi, T. H. Tse:
Guest Editors' Introduction.
653-654
Electronic Edition (link) BibTeX
- Matthias Book, Volker Gruhn, Malte Hülder, André Köhler, Andreas Kriegel:
Cost Simulation and Performance Optimization of Web-based Applications on Mobile Channels.
655-676
Electronic Edition (link) BibTeX
- W. K. Chan, Tsong Yueh Chen, Heng Lu, T. H. Tse, Stephen S. Yau:
Integration Testing of Context-sensitive Middleware-based Applications: a Metamorphic Approach.
677-704
Electronic Edition (link) BibTeX
- Wolfgang Grieskamp, Nicolas Kicillof, Nikolai Tillmann:
Action Machines: a Framework for Encoding and Composing Partial Behaviors.
705-726
Electronic Edition (link) BibTeX
- Peng Wu, Huimin Lin:
Model-based Testing of Concurrent Programs with Predicate Sequencing Constraints.
727-746
Electronic Edition (link) BibTeX
- Xiaodong Yi, Ji Wang, Xuejun Yang:
Slicing Execution for Model Checking C Programs.
747-768
Electronic Edition (link) BibTeX
- Pankaj Kamthan:
A Framework for the Pragmatic Quality of Z Specifications.
769
Electronic Edition (link) BibTeX
Volume 16,
Number 6,
December 2006
- An Ngo-The, Günther Ruhe:
Guest Editors' Introduction.
791-794
Electronic Edition (link) BibTeX
- Aybüke Aurum, Claes Wohlin, Andrew Porter:
Aligning Software Project Decisions: a Case Study.
795-818
Electronic Edition (link) BibTeX
- Patrik Berander, Per Jönsson:
Hierarchical Cumulative Voting (hcv) - Prioritization of Requirements in Hierarchies.
819-850
Electronic Edition (link) BibTeX
- Seok Won Lee, Divya Muthurajan, Robin A. Gandhi, Deepak S. Yavagal, Gail-Joon Ahn:
Building Decision Support Problem Domain Ontology from Natural Language Requirements for Software Assurance.
851-884
Electronic Edition (link) BibTeX
- Lena Karlsson, Björn Regnell, Thomas Thelin:
Case Studies in Process Improvement through Retrospective Analysis of Release Planning Decisions.
885-916
Electronic Edition (link) BibTeX
- Andrea Herrmann, Barbara Paech, Damian Plaza:
Icrad: an Integrated Process for the Solution of Requirements Conflicts and Architectural Design.
917-950
Electronic Edition (link) BibTeX
- Martín López Nores, José J. Pazos Arias, Jorge García Duque, Yolanda Blanco-Fernández, Rebeca P. Díaz Redondo, Ana Fernández Vilas, Alberto Gil-Solla, Manuel Ramos Cabrer:
Bringing the Agile Philosophy to Formal Specification Settings.
951-986
Electronic Edition (link) BibTeX
- Amir A. Khwaja, Joseph E. Urban:
A Framework for the Evaluation of Real-time Specification Techniques.
987
Electronic Edition (link) BibTeX
Copyright © Sun May 17 00:03:13 2009
by Michael Ley (ley@uni-trier.de)
