2. ICSOFT 2007:
Barcelona,
Spain
Joaquim Filipe, Boris Shishkov, Markus Helfert (Eds.):
ICSOFT 2007, Proceedings of the Second International Conference on Software and Data Technologies, Volume SE, Barcelona, Spain, July 22-25, 2007.
INSTICC Press 2007, ISBN 978-989-8111-06-7 BibTeX
Software Engineering
Full Paper
- Philippe Dugerdil, Sebastien Jossi:
Role-Based Clustering of Software Modules - an Industrial Size Experiment.
5-12 BibTeX
- Andreas Wierda, Eric Dortmans, Lou J. Somers:
Detecting Patterns in Object-Oriented Source Code - A Case Study.
13-24 BibTeX
- Olfa Mosbahi, Jacques Jaray:
Specification and Proof of Liveness Properties in B Event Systems.
25-34 BibTeX
- Maria Virvou, Kalliopi Tourtoglou:
Auto-Colleague - a Collaborative Learning Environment for UML.
35-39 BibTeX
- Katerina Kabassi, Maria Virvou, Efthymios Alepis:
Using Mbiui Life-Cycle Framework for an Affective Bi-Modal User Interface .
40-47 BibTeX
- Giacomo Bucci, Valeriano Sandrucci, Enrico Vicario, Saverio Mecca:
An Ontological SW Architecture for the Development of Cooperative Web Portals.
48-55 BibTeX
- Rolf Njor Jensen, Niels Platz, Gitte Tjørnehøj:
How "Developer Stories" Improves Architecture - Facilitating Knowledge Sharing and Embodiment, and Making Architectural Changes Visible.
56-64 BibTeX
- Alejandro Gómez Cuesta, Juan Carlos Granja, Rory O'Connor:
An Agile Model Driven Architecture-Based Contribution to Web Engineering.
65-72 BibTeX
- Motohiro Kitamura, Ryo Hasegawa, Haruhiko Kaiya, Motoshi Saeki:
An Integrated Tool for Supporting Ontology Driven Requirements Elicitation.
73-80 BibTeX
- Kiem-Phong Vo:
Vcodex: A Data Compression Platform.
81-89 BibTeX
- Sabrina Förtsch, Bernhard Westfechtel:
Differencing and Merging of Software Diagrams - State of the Art and Challenges.
90-99 BibTeX
- René Heinzl, Philipp Schwaha, Siegfried Selberherr:
Modern Concepts for High-Perfomance Scientific Computing - Library Centric Application Design.
100-107 BibTeX
Short Paper
- Hans-Gerhard Groß, Marco Lormans, Jun Zhou:
Reformulating Component Identification As Document Analysis Problem - Towards Automated Component Procurement.
111-116 BibTeX
- Jos J. M. Trienekens, Rob J. Kusters, Dennis C. Brussel:
Linking Software Quality to Software Engineering Activities, Results from a Case-Study.
117-122 BibTeX
- Chafia Bouanaka, Aicha Choutri, Faiza Belala:
On Generating Tile System for a Software Architecture Case of a Collaborative Application Session.
123-128 BibTeX
- Miriam Zia Ernesto Posse, Hans Vangheluwe:
Addressing Security Requirements Through Multi-Formalism Modelling and Model Transformation.
129-137 BibTeX
- Olivier Le Goaer, Mourad Oussalah, Dalila Tamzalit, Abdelhak-Djamel Seriai:
Evolution Styles in Practice - Refactoring Revisited As Evolution Style.
138-143 BibTeX
- Adel Alti, Tahar Khammaci, Adel Smeda, Djamel Bennouar:
Integrating Software Architecture Concepts Into the MDA Platform.
144-149 BibTeX
- Antonio Grillo, Giovanni Cantone, Christian Di Biagio, Guido Pennella:
Automatic Test Management of Safety-Critical Systems: The Common Core - Behavioural Emulation of Hard-Soft Components.
150-155 BibTeX
- Luis-Pedro García, Javier Cuenca, Domingo Giménez:
Including Improvement of the Execution Time in a Software Architecture of Libraries With Self-Optimisation.
156-161 BibTeX
- Yujia Ge, Lijun Bai:
A Stability and Efficiency Oriented Rescheduling Approach for Software Project Management.
162-167 BibTeX
- Salvatore Alessandro Sarcià, Giovanni Cantone, Victor R. Basili:
A Statistical Neural Network Framework for Risk Management Process - From the Proposal to its Preliminary Validation for Efficiency.
168-177 BibTeX
- Hassan Artail, Fuad Mrad, Mohamad Mortada:
A Case Study on the Applicability of Software Reliability Models to a Telecommunication Software.
178-183 BibTeX
- Andrea De Lucia, Fausto Fasano, Genoveffa Tortora, Giuseppe Scanniello:
Integrating a Distributed Inspection Tool Within an Artefact Management System.
184-189 BibTeX
- Cédric Teyssié, David Espes, Zoubir Mammeri:
Component Based Methodology for QoS-Aware Network Design.
190-197 BibTeX
- Emil Vassev, Olga Ormandjieva, Joey Paquet:
Assl Specification of Reliability Self-Assessment in the As-Trm.
198-206 BibTeX
- Mohamed Khalgui, Emanuele Carpanzano:
A Formal Approach to Deploy Heterogeneous Software Components in a PLC.
207-212 BibTeX
- Davide Falessi, Giovanni Cantone, Claudio Grande:
A Comparison of Structured Analysis and Object Oriented Analysis - An Experimental Study.
213-221 BibTeX
- Katsuhisa Maruyama:
Secure Refactoring - Improving the Security Level of Existing Code.
222-229 BibTeX
- László Vidács, Árpád Beszédes, Rudolf Ferenc:
Macro Impact Analysis Using Macro Slicing.
230-235 BibTeX
- Dieu Donné Okalas Ossami, J.-M. Mota, Laurent Thiry, Jean-Marc Perronne, Jean-Louis Boulanger, Georges Mariano:
A Method to Model Guidelines for Developing Railway Safety-Critical Systems With Uml.
236-243 BibTeX
- Burak Turhan, Ayse Basar Bener:
Software Defect Prediction: Heuristics for Weighted Naïve Bayes.
244-249 BibTeX
- William E. Howden, Cliff Rhyne:
Test Frameworks for Elusive Bug Testing.
250-257 BibTeX
- Sandro Ronaldo Bezerra Oliveira, Alexandre Marcos Lins de Vasconcelos, Tiago Soares Goncalves:
Software Process Conversion Rules in ImPPros - Quality Models Conversion for a Software Process Implementation Environment.
258-263 BibTeX
- Mustafa Korkmaz, Ali Mili:
A Product Line of Software Reuse Cost Models.
264-269 BibTeX
- Philipp Schwaha, Markus Schwaha, René Heinzl, Enzo Ungersboeck, Siegfried Selberherr:
Simulation Methodologies for Scientific Computing - Modern Application Design.
270-276 BibTeX
- Luping Chen, John May:
New Design Techniques for Enhancing Fault Tolerant Cots Software Wrappers .
277-282 BibTeX
- Hagen Höpfner, Christian Bunse:
Resource Substitution for the Realization of Mobile Information Systems.
283-289 BibTeX
- Emine G. Aydal, Jim Woodcock, Ana Cavalcanti:
Goal-Oriented Automatic Test Case Generators for MC/DC Compliancy.
290-295 BibTeX
- Begoña Moros, Cristina Vicente-Chicote, José Ambrosio Toval Á:
A Model-Driven Engineering Approach to Requirements Engineering - How These Disciplines May Benefit Each Other.
296-303 BibTeX
- Olfa Mosbahi, Leila Jemni, Jacques Jaray:
A Formal Approach for the Development of Automated Systems.
304-310 BibTeX
- Luís Enrique Sanchez, Daniel Villafranca, Eduardo Fernández-Medina, Mario Piattini:
Scmm-Tool - Tool for Computer Automation of the Information Security Management Systems.
311-318 BibTeX
- Sergiu Dascalu, Eric Fritzinger, Kendra Cooper, Narayan C. Debnath:
A Software Tool for Requirements Specification - On Using the STORM Environment to Create SRS Documents.
319-326 BibTeX
Poster
- Pasi Ojala:
Implementing a Value-Based Approach to Software Process and Product Assessment.
329-332 BibTeX
- Boris Shishkov, Jan L. G. Dietz, Marten van Sinderen:
Closing the Business-Application Gap in SOA - Challenges and Solution Directions.
333-336 BibTeX
- Francisco J. Pino, Félix García, Mario Piattini:
Prioritization of Processes for Software Process Improvement in Small Software Enterprises.
337-340 BibTeX
- Viktor Mashkov, Jaroslav Pokorny:
Scheme for Comparing Results of Diverse Software Versions.
341-344 BibTeX
- Miroslav Svéda, Radimir Vrba:
Towards a Unified Security/Safety Framework - A Design Approach to Embedded System Applications.
345-350 BibTeX
- Brendan Lawlor, Jeanne Stynes:
The Missing Layer - Deficiencies in Current Rich Client Architectures, and their Remedies.
351-356 BibTeX
- Paulo Tomé, Ernesto Costa, Luís Amaral:
Re-Using Experience in Information Systems Development.
357-362 BibTeX
- Klaus Meffert, Ilka Philippow:
Towards a New Code-Based Software Development Concept Enabling Code Patterns.
363-366 BibTeX
- José L. Fernández-Sánchez, Javier Carracedo-Pais:
A Computerized Tutor for Architecting Software - Supporting the Creative Aspects of Software Development.
367-370 BibTeX
- Assem El-Ansary:
Requirements Definitions of Real-Time System Using the Behavioral Patterns Analysis (PBA) Approach - The Elevator Control System.
371-377 BibTeX
- Amir Abdollahi Foumani, Constantinos Constantinides:
Detecting Aspectual Behavior in UML Interaction Diagrams.
378-386 BibTeX
- Gustavo Muñoz Gómez, Juan Carlos Granja:
An Improvement to the Mixed MDA-Software Factory Approach: a Real Case.
387-392 BibTeX
- Hamid Mcheick, Hafedh Mili, Rakan Mcheik:
A Case Study of Distributed and Evolving Applications Using Separation of Concerns.
393-400 BibTeX
- Tammy Kam Hung Chan, Zhen Hua Liu:
Software Engineering Lessions Learned from Developing and Maintaining Websites.
401-404 BibTeX
- Daniel Cabrero Moreno, Javier Garzás, Mario Piattini:
Understanding Product Lines Through Design Patterns.
405-408 BibTeX
- Rolf Drechsler, Andreas Breiter:
Hardware Project Management - What we Can Learn from the Software Development Process for Hardware Design?.
409-416 BibTeX
- Julie A. Street, Robert G. Pettit IV:
An Experimental Evaluation of Software Performance Modeling and Analysis Techniques .
417-420 BibTeX
- Cédric Bouhours, Hervé Leblanc, Christian Percebois:
Towards a Knowledge Base to Improve Reusability of Design Pattern.
421-424 BibTeX
- Thomas Buchmann, Alexander Dotor, Bernhard Westfechtel:
Model-Driven Development of Graphical Tools - Fujaba Meets GMF.
425-430 BibTeX
- Tae-Hee Gwak, Yoonjung Jang:
A Study on Software Project Coaching Model Using TSP in Samsung.
431-436 BibTeX
- Cristina Vicente-Chicote, Diego Alonso, Franck Chauvel:
V3studio: A Component-Based Architecture Description Meta-Model - Extensions to Model Component Behaviour Variability.
437-440 BibTeX
- Katerina Kabassi, Maria Virvou, George A. Tsihrintzis:
E-Learning for Health Issues Based on Rule-Based Reasoning and Multi-Criteria Decision Making .
441-444 BibTeX
- Sylvain Maillard, Adel Smeda, Mourad Oussalah:
COSA: An Architectural Description Meta-Model.
445-448 BibTeX
- Ashutosh Parashar, Selvakumaran Mannappan:
A Methodology to Finalize the Requirements for a Project With Multiple Stake- Holders - Presenting Software Engineering Workshop As a Solution.
449-452 BibTeX
Copyright © Sat May 16 23:21:45 2009
by Michael Ley (ley@uni-trier.de)
