Abstract is missing.
- Committees [doi]
- Preface [doi]
- A Two-Year Software Engineering M.Sc. Degree Designed Under the Bologna Declaration PrinciplesJoão M. Fernandes, Ricardo Jorge Machado. 1 [doi]
- Metamodel Matching: Experiments and ComparisonDenivaldo Lopes, Slimane Hammoudi, José de Souza, Alan Bontempo. 2 [doi]
- Specification Model for Avoiding Miss-Detection of Feature InteractionsSachiko Kawada, Masayuki Shimokura, Tadashi Ohta. 3 [doi]
- A Toolkit for Design and Performance Analysis of Real-Time Component-Based Software SystemsEgor Bondarev, Michel R. V. Chaudron, Heorhiy Byelas, Peter H. N. de With. 4 [doi]
- Increasing Software Engineering Efficiency Through Defect Tracking IntegrationDavid Russell, Nilesh Patel. 5 [doi]
- Avoidance of Feature Interactions at Run-TimeDaisuke Harada, Hiroaki Fujiwara, Tadashi Ohta. 6 [doi]
- Extracting Simulation Models from Complex Embedded Real-Time SystemsJohan Andersson, Joel Huselius, Christer Norström, Anders Wall. 7 [doi]
- Enforcing Interaction Properties in AOSD-Enabled SystemsConstantin Serban, Shmuel Tyszberowicz. 8 [doi]
- Enterprise Resource Planning Diffusion: Measuring the Impact of Network Exposure and PowerRobert Pellerin, Gilbert Babin, Pierre-Majorique Léger, Kim St-Georges. 9 [doi]
- Extending UML 2.0 to Augment Control Over Enterprise Information System Engineering ProcessMara Nikolaidou, Nancy Alexopoulou, Anargyros Tsadimas, Alexandros Dais, Dimosthenis Anagnostopoulos. 10 [doi]
- UbiNet: A Generic and Ubiquitous Service Provider FrameworkJinsuo Zhang, Sumi Helal. 11 [doi]
- An Empirical Study of Software Changes in Statoil ASA - Origin, Priority Level and Relation to Component SizeAnita Gupta, Odd Petter N. Slyngstad, Reidar Conradi, Parastoo Mohagheghi, Harald Rønneberg, Einar Landre. 12 [doi]
- Applicability of IEEE 1219 within Correctiev MaintenanceMira Kajko-Mattsson. 13 [doi]
- A Graph-Search Based Approach to BPEL4WS Test GenerationYuan Yuan, Zhong Jie Li, Wei Sun. 14 [doi]
- On the Assessment of the Mean Failure Frequency of Software in Late TestingSandro Morasca. 15 [doi]
- Using Model-Checkers for Mutation-Based Test-Case Generation, Coverage Analysis and Specification AnalysisGordon Fraser, Franz Wotawa. 16 [doi]
- A Partition-Based Approach for XPath TestingClaudio de la Riva, José García-Fanjul, Javier Tuya. 17 [doi]
- Evaluating Behavior Correctness of Synchronous Systems through Time to Service Distribution Analysis: Tools RequiredLydie du Bousquet. 18 [doi]
- Estimating Software Quality with Advanced Data Mining TechniquesMatej Mertik, Mitja Lenic, Gregor Stiglic, Peter Kokol. 19 [doi]
- Specification Based Regression Testing Using Explicit State Space EnumerationSujit Kumar Chakrabarti, Y. N. Srikant. 20 [doi]
- Assessing Impacts of Changes to Business Rules through Data ExplorationSuzanne M. Embury, David Willmor, Lei Dang. 21 [doi]
- DuoTracker: Tool Support for Software Defect Data Collection and AnalysisOlusegun Akinwale, Sergiu M. Dascalu, Marcel Karam. 22 [doi]
- A Combined Approach for Reachability AnalysisAbdelaziz Guerrouat, Harald Richter. 23 [doi]
- A Model of Front-End Pre-Change Corrective TestingMira Kajko-Mattsson, Stefan Britts. 24 [doi]
- Towards an Identification Framework for Software Drifts: A Case StudyYutao Ma, Keqing He, Jianghua Wu, Jianxun Chen. 25 [doi]
- SWS-ASE: Leveraging Web Service-based Software EngineeringUlrich Dinger, Roy Oberhauser, Christian Reichel. 26 [doi]
- Programmable Ad Hoc NetworksDaiki Okada, Daisuke Kasamatsu, Norihiko Shinomiya, Tadashi Ohta. 27 [doi]
- A Framework for Reengineering Software Development MethodsMarko Bajec, Rok Rupnik, Marjan Krisper. 28 [doi]
- A Conceptual Framework for Business Process Engineering: A Case StudyZeljka Car, Hrvoje Belani, Antun Caric. 29 [doi]
- Application of Computational Redundancy in Dangling Pointers DetectionZakarya Alzamil. 30 [doi]
- Testing a Network by Inferring Representative State Machines from Network TracesNancy D. Griffeth, Yuri Cantor, Constantinos Djouvas. 31 [doi]
- Application Driven Software DevelopmentTeodor Rus, Donald Ephraim Curtis. 32 [doi]
- A Domain Formal Ontology and the Application in Service Component RetrievalJunmei Sun, Huaikou Miao, Xiaoxia Cao. 33 [doi]
- Automatic Generation of Functional Programs from CASL SpecificationsAgnès Arnould, Laurent Fuchs, Marc Aiguier, Thibaud Brunet. 34 [doi]
- Towards Rules and Laws for Software Factories and Evolvability: A Case-Driven ApproachHerwig Mannaert, Jan Verelst, Kris Ven. 35 [doi]
- Defining Agile Software Quality AssuranceErnest Mnkandla, Barry Dwolatzky. 36 [doi]
- Checking Data Integrity via the UML Class DiagramAhmad Alsaadi. 37 [doi]
- Generating Proof Obligation to Verify Object-Z SpecificationZhicheng Wen, Huaikou Miao, Hongwei Zeng. 38 [doi]
- Software Confederations - An Architecture for Agile Development in the LargeJaroslav Král, Michal Zemlicka, Michal Kopecky. 39 [doi]
- Defining the Architectural Design of Frameworks through a Group of Subframeworks Created from Frozen and Hot SpotsSimone Nasser Matos, Clovis Torres Fernandes. 40 [doi]
- Modeling Multi-View Software Process with Object Petri NetsJiDong Ge, Hao Hu, Qing Gu, Jian Lu. 41 [doi]
- Using RDL to Facilitate Customization of Variability PointsToacy Cavalcante de Oliveira, Marcílio Mendonça. 42 [doi]
- Data Based Application Partitioning and Workload Balance in Distributed EnvironmentXiaohu Yang, Ming Mao, Xinyu Wang. 43 [doi]
- Component-Based Development Process and Component LifecycleIvica Crnkovic, Michel R. V. Chaudron, Stig Larsson. 44 [doi]
- On Describing, Analyzing, and Executing Complex Behavior of ServicesDumitru Roman, Ioan Toma, Dieter Fensel. 45 [doi]
- A Model of Open Source Software Style R&D on BusinessMasashi Ueda. 46 [doi]
- Performance Model Interchange Format: Semantic ValidationDaniel Garcia, Catalina M. Lladó, Connie U. Smith, Ramón Puigjaner. 47 [doi]
- An Architectural Modeling Approach with Symmetric Alignment of Multiple Concern SpacesSemih Cetin, N. Ilker Altintas, Cevat Sener. 48 [doi]
- Using Styles to Improve the Architectural Views DesignRogelio N. Limón Cordero, Isidro Ramos Salavert. 49 [doi]
- Specification of Software Component Requirements Using the Trace Function MethodColm Quinn, Sergiy A. Vilkomir, David Lorge Parnas, Srdjan Kostic. 50 [doi]
- Design and Implementation of Chronological Web Server for Web-Based ApplicationsShann-Chiuen Wu, Tzao-Lin Lee. 51 [doi]
- Evaluation Framework for Open Source Software MaintenanceTimo Koponen. 52 [doi]
- Exploring the Maintenance Process through the Defect Management in the Open Source Projects - Four Case StudiesHeli Lintula, Timo Koponen, Virpi Hotti. 53 [doi]
- RaSOSS - Remote Analysis System for Open Source SoftwareTimo Koponen. 54 [doi]
- Developing an Open Source Integrated Development Environment for a Mobile DeviceJuha Järvensivu, Matti Kosola, Mikko Kuusipalo, Pekka Reijula, Tommi Mikkonen. 55 [doi]
- The Method, the Tools and Rationales for Assessing Dynamic Memory Efficiency in Embedded Real-Time Systems in PracticeChristian Del Rosso. 56 [doi]
- Efficient Evaluation of CSAN Models by State Space Analysis MethodsMohammad Abdollahi Azgomi, Ali Movaghar. 57 [doi]
- Modeling and Evaluation of Software Systems with Object Stochastic Activity NetworksMohammad Abdollahi Azgomi, Ali Movaghar. 58 [doi]
- Performance of MPI Parallel ApplicationsSamuel Richard, Bernard Miegemolle, Jean-Marie Garcia, Thierry Monteil. 59 [doi]
- Java Object Behavior Modeling and VisualizationJi Wu, Xiao-xia Jia, Yong Po Liu, Guo-huan Li. 60 [doi]
- Analysing Countermeasures Against Privacy-Invasive SoftwareMartin Boldt, Bengt Carlsson. 61 [doi]
- SOA-Aware Authorization ControlChristian Emig, Heiko Schandua, Sebastian Abeck. 62 [doi]
- A Class of Traceability Codes with an Efficient Tracing AlgorithmYizhou Ma, Chang-hui Choe, Moon Ho Lee. 63 [doi]
- A Remote IDS Based on Multi-Agent Systems, Web Services and MDAMauro Silva, Denivaldo Lopes, Zair Abdelouahab. 64 [doi]
- Template-Based Development of Fault-Tolerant Embedded SoftwareChristian Buckl, Alois Knoll, Gerhard Schrott. 65 [doi]
- High Speed and Reliable Anti-Spam FilterJalel Rejeb, Thuy T. Le, Narinder Anand. 66 [doi]
- New Scheme of Implementing Real-Time LinuxXue-Yu Hong, Ling Zhang, Jin-Long Hu. 67 [doi]
- Architecture of a Universal Relation Data Source for Web Applications with Advanced Access Control and Simplified MigrationVít Vrba, Lubomir Cvrk, Vit Novotny, Karol Molnar. 68 [doi]
- A Platform for the Development of Spoken Dialog SystemsEmilio Sanchis, David Griol, Lluís Hurtado, Encarna Segarra. 69 [doi]
- Reflection: Improving Research through Knowledge TransferAndre Oboler, Simon Lock, Ian Sommerville. 70 [doi]
- Adaptive Manufacturing: A Real-Time Simulation-Based Control SystemBenoit Saenz de Ugarte, Abdelhakim Artiba, Khalid Jbaida, Robert Pellerin. 71 [doi]