| 2007 | An Introduction to the Quantitative, Rational and Scientific Process of Software Development (Part 2). | Zenya Koono, Hui Chen, Hassan Abolhassani |
| 2007 | An Introduction to the Quantitative, Rational and Scientific Process of Software Development (Part 1). | Zenya Koono, Hui Chen, Hassan Abolhassani |
| 2007 | A Collaborative Environment for User-initiated Development of Web Applications. | Sota Honda, Hidaka Yano, Michiru Tanaka, Keizo Yamada, Jun Sasaki, Yutaka Funyu |
| 2007 | On the Challenges of Correctly Using Metamodels in Software Engineering. | Brian Henderson-Sellers |
| 2007 | A Unique Trial of Developing Software for the Actual Application by an Engineer with Non-Software Background. | Shogo Hayashida, Noriko Taniguchi, Rikio Maruta |
| 2007 | Formal Technique for Discovering Complex Attacks in Computer Systems. | Lamia Hamza, Kamel Adi |
| 2007 | Clayworks: Toward User-Oriented Software for Collaborative Modeling and Simulation. | Sergei Gorlatch, Jens Mller, Martin Helmut Alt, Jan Dnnweber, Hamido Fujita, Yutaka Funyu |
| 2007 | Cognitive Modeling in Software and Relation to Human Emotional Reasoning. | Hamido Fujita, Jun Hakura, Masaki Kurematsu |
| 2007 | Constructing higher-level Transformation Languages based on XML. | Daniel Ftsch, Elke Pulvermller |
| 2007 | Determinants of Service Reusability. | George Feuerlicht, Amalka Wijayaweera |
| 2007 | The Art of Programming or Programs as Art. | Ernest A. Edmonds |
| 2007 | Establishing research criteria for performed gestures and emotional interaction in an gestural film game: To be or not to be. | Roman Danylak, Zafer Bilda, Ernest A. Edmonds |
| 2007 | Model Checking Communicative Agent-Based Systems. | Jamal Bentahar, John-Jules Ch. Meyer |
| 2007 | New Verification of Reactive Requirement for Lyee Method. | Osamu Arai, Hamido Fujita |
| 2007 | Measurement Analysis and Fault Proneness Indication in Product Line Applications (PLA). | Zeeshan Ahmed |
| 2006 | Enhancing and Parallelizing Legacy Software for Medical Imaging - A Case Study. | Jrgen Vrding, Maraike Schellmann, Sergei Gorlatch |
| 2006 | Improving Software Test Processes. | Tanja Toroi |
| 2006 | Comparing Approaches in AORE through ISO/IEC 9126. | Luciana de Paiva Silva, Elisa Hatsue Moriya Huzita, Tania Fatima Calvi Tait |
| 2006 | Information Processing and the Recovery of Argument Structure Asymmetries. | Anna Maria Di Sciullo |
| 2006 | A Framework to Support Non-fragile Agile Agent-Oriented Software Development. | Asif Qumer, Brian Henderson-Sellers |
| 2006 | A Calculus for Distributed Firewall Specification and Verification. | Liviu Pene, Kamel Adi |
| 2006 | Component Interface Documentation: What do we Need and Why do we Need it? | David Lorge Parnas |
| 2006 | Enforcing Security Policies on Programs. | Hakima Ould-Slimane, Mohamed Mejri, Kamel Adi |
| 2006 | Towards Autonomic Computing: Injecting Self-Organizing and Self-Healing Properties into Java Programs. | Michael J. Oudshoorn, M. Muztaba Fuad, Debzani Deb |
| 2006 | Theory on Software Diagnosis for Program Code Validation. | Fumio Negoro, Hamido Fujita |