Abstract is missing.
- Applications & Services Exploration for the Broadband Mobile SystemsBao-Shuh Lin.
- Sustainable Software Systems for Real Time ApplicationsS. Sitharama Iyengar.
- BDI agents to bridge cloud computing and end-users (Case study: An agent-based personal trainer to COPD patients)Kasper Hallenborg.
- Visual Specification of Component-based Slow Intelligence SystemsShi-Kuo Chang, Yingze Wang, Yao Sun. 1-8
- Cloud Engineering approach in business innovationGiorgio Valle, Bruno Apolloni. 2-3
- Software quality in terms of academic progress of developersMiriam Vázquez-Escalante, Jose Antonio Flores-Saucedo, Hector G. Pérez-González, Juan Carlos Cuevas-Tello. 4-5
- Towards a Novel Statistical Method for Generating Test Sets with a Given Coverage ProbabilityCristiane Selem Ferreira Neves, Eber Assis Schmitz, Fábio Protti, Antonio Juarez Alencar. 6-7
- Architecture for personalized and semantic Information Retrieval: approach based on content's re-indexing using user's profileAzza Harbaoui, Malek Ghenima, Henda Ben Ghézala, Sahbi Sidhom. 8-9
- Design of Component-based Slow Intelligence Systems and Application to Social Influence AnalysisShi-Kuo Chang, Yao Sun, Yingze Wang, Chia-Chun Shih, Ting-Chun Peng. 9-16
- Slow Intelligence System and Network Management: a case studyFrancesco Colace, Massimo De Santo. 17-24
- Extending Software Quality Models - A Sample In The Domain of Semantic TechnologiesFilip Radulovic, Raul Garcia-Castro. 25-30
- A Technology of Profiling Inter-procedural PathsLulu Wang, Bixin Li. 31-36
- Efficiency and portability: guidelines to develop websitesCleriston Araujo Chiuchi, Rogéria Cristiane Gratão de Souza, Adriana Barbosa Santos, Carlos Roberto Valêncio. 37-41
- Automatic Deployment and Monitoring of Software Processes: A Model-Driven ApproachMarília Aranha Freire, Fellipe Araújo Aleixo, Uirá Kulesza, Eduardo Aranha, Roberta Coelho. 42-47
- FBDtoVerilog: A Vendor-Independent Translation from FBDs into Verilog ProgramsJunbeom Yoo, Jong-Hoon Lee, Sehun Jeong, Sung Deok Cha. 48-51
- Modeling of Domain-Specific ECA PoliciesRaphael Romeikat, Bernhard Bauer, Henning Sanneck. 52-58
- A Software Engineering Approach to User-Driven Control of the MicrogridMark Allison, Andrew A. Allen, Zhenyu Yang, Peter J. Clarke. 59-64
- A Comparative Study of Different Strategies for Predicting Software QualityTaghi M. Khoshgoftaar, Kehan Gao, Amri Napolitano. 65-70
- Criteria of Human Software Evaluation: Feature Selection ApproachMarek Reformat, Sonal Patel. 71-76
- A Dual Clustering Approach to the Extract Class RefactoringKeith Cassell, Peter Andreae, Lindsay Groves. 77-82
- An Empirical Study of Software Metrics Selection Using Support Vector MachineHuanjing Wang, Taghi M. Khoshgoftaar, Amri Napolitano. 83-88
- Software Defect Prediction for High-Dimensional and Class-Imbalanced DataKehan Gao, Taghi M. Khoshgoftaar. 89-94
- BUGMINER: Software Reliability Analysis Via Data Mining of Bug ReportsLeon Wu, Boyi Xie, Gail E. Kaiser, Rebecca J. Passonneau. 95-100
- Specification and Runtime Verification of API Constraints on Interacting ObjectsFang Deng, Haiwen Liu, Jin Shao, Qianxiang Wang. 101-106
- Applying Lightweight Formal Approach to Automatic Configuration InspectionSachoun Park, Gihwon Kwon. 107-110
- Formalizing Reusable Aspect-Oriented Concurrency ControlNeelam Soundarajan, Derek Bronish, Raffi Khatchadourian. 111-114
- PIPE+ - A Modeling Tool for High Level Petri NetsSu Liu, Reng Zeng, Xudong He. 115-121
- A Novel Method for Formally Detecting RFID Event Using Petri NetsJinan Sun, Yu Huang 0004, Xin Gao, Shikun Zhang, Lifu Wang, Chong-Yi Yuan. 122-125
- Multithreaded Pointer Analysis Based on Petri NetFei Liu, Bixin Li. 127-130
- Facilitate IT-Providing SMEs in Software Development: a Semantic Helper for Filtering and Searching KnowledgeRiccardo Martoglia. 130-136
- Inconsistency-Induced Heuristics for Problem SolvingDu Zhang. 137-142
- Mapping CommonKADS Knowledge Models into PRRNicolas Prat, Jacky Akoka, Isabelle Comyn-Wattiau. 143-148
- A Virtual Catalyst in the Knowledge Acquisition ProcessGeraldo Boz Jr., Milton Pires Ramos, Gilson Yukio Sato, Cesar Augusto Tacla, Júlio C. Nievola, Emerson Cabrera Paraiso. 149-152
- A Real-Time Reliability Model for Ontology-Based Dynamic Web Service CompositionHarmeet Chawla, Haiping Xu, MengChu Zhou. 153-158
- Learning action models with indeterminate effectsJie Gao, Hankz Hankui Zhuo, Dao-Jun Han, Lei Li. 159-162
- Fraud Detection in Selection Exams Using Knowledge Engineering ToolsMarcus de Melo Braga, Mario Antonio Ribeiro Dantas. 163-168
- An approach for retrieval and knowledge communication using medical documentsRafael Andrade, M. A. R. Dantas, Fernando Costa Bertoldi, Aldo von Wangenheim. 169-174
- A WordNet-based Semantic Similarity Measure Enhanced by Internet-based KnowledgeGang Liu, Ruili Wang, Jeremy Buckley, Helen Min Zhou. 175-178
- Semantic Enabled Sensor Network DesignJing Sun 0002, Hai H. Wang, Hui Gu. 179-184
- Using Semantic Annotations for Supporting Requirements EvolutionBruno Nandolpho Machado, Lucas de Oliveira Arantes, Ricardo de Almeida Falbo. 185-190
- Design Software Architecture Models using OntologyJing Sun 0002, Hai H. Wang, Tianming Hu. 191-196
- Debug Concern NavigatorMasaru Shiozuka, Naoyasu Ubayashi, Yasutaka Kamei. 197-202
- PAFL: Fault Localization via Noise Reduction on Coverage VectorLei Zhao, Zhenyu Zhang, Lina Wang, Xiaodan Yin. 203-206
- Using Coverage and Reachability Testing to Improve Concurrent Program Testing QualitySimone do Rocio Senger de Souza, Paulo Sergio Lopes de Souza, Mario C. C. Machado, Mário S. Camillo, Adenilso da Silva Simão, Ed Zaluska. 207-212
- Program slicing spectrum-based software fault localizationWanzhi Wen, Bixin Li, Xiaobing Sun, Jiakai Li. 213-218
- Interface Testing Using a Subgraph Splitting Algorithm: A Case StudySergiy Vilkomir, Ali Asghary Karahroudy, Nasseh Tabrizi. 219-224
- Machine Learning-based Software Testing: Towards a Classification FrameworkMahdi Noorian, Ebrahim Bagheri, Weichang Du. 225-229
- A Model-based Approach to Regression Testing of Component-based SoftwareChuanqi Tao, Bixin Li, Jerry Gao. 230-237
- Multiple Fault Localization with Data MiningPeggy Cellier, Mireille Ducassé, Sébastien Ferré, Olivier Ridoux. 238-243
- Constructing Subtle Concurrency Bugs Using Synchronization-Centric Second-Order Mutation OperatorsLeon Wu Gail Kaiser. 244-249
- The ucsCNL: A Controlled Natural Language for Use Case SpecificationsFlávia A. Barros, Lais Neves, Erica Hori, Dante Torres. 250-253
- A Brief Survey on Automatic Integration Test Order GenerationZhengshan Wang, Bixin Li, Lulu Wang, Qiao Li. 254-257
- Generation of Scripts for Performance Testing Based on UML ModelsMaicon B. da Silveira, Elder de M. Rodrigues, Avelino F. Zorzo, Leandro T. Costa, Hugo V. Vieira, Flávio M. de Oliveira. 258-263
- How IT Professionals Face NegotiationsSérgio Assis Rodrigues, Jano Moreira de Souza. 264-267
- Designing a Distributed Systems Architecture Testbed for Real-Time Power Grid SystemsYan Liu, Ian Gorton, Yousu Chen, Shuangshuang Jin. 268-271
- Supporting Software Engineering Education through a Learning Objects and Experience Reports RepositoryRodrigo Pereira dos Santos, Cláudia Werner, Heitor Costa, Simone Vasconcelos. 272-275
- Structuring Software Engineering Case Studies to Cover Multiple PerspectivesEmil Börjesson, Robert Feldt. 276-281
- Usability evaluation: a survey of software development organizationsCarmelo Ardito, Paolo Buono, Danilo Caivano, Maria Francesca Costabile, Rosa Lanzilotti, Anders Bruun, Jan Stage. 282-287
- Maximizing the Financial Benefits Yielded by IT Projects While Ensuring their Strategic FitAntonio Juarez Alencar, Gustavo Taveira, Eber Assis Schmitz, Angelica Fonseca da Silva Dias, Alexandre L. Correa. 288-295
- Model Checking Framework-based Applications with AspectJ AssistanceZebin Chen, Stephen Fickas. 296-301
- User-defined Scenarios in Ubiquitous Environments: Creation, Execution Control and SharingMatthieu Faure, Luc Fabresse, Marianne Huchard, Christelle Urtado, Sylvain Vauttier. 302-307
- SC-xScript: An Embedded Script Language for Scientific Computation in Embedded SystemsReng Zeng, Yu Huang, Su Liu, Peter J. Clarke, Xudong He, Gwendolyn W. van der Linden, Jon L. Ebert. 308-314
- Context-aware Services for Multiple-UsersIchiro Satoh. 315-318
- Dynamic Service Choreography using Context Aware Enterprise Service BusSwapan Bhattacharya, Jayeeta Chanda, Sabnam Sengupta, Ananya Kanjilal. 319-324
- Web System to Aid Project ManagementRogéria Cristiane Gratão de Souza, Antonio Marcos Neves Esteca, Adriana Barbosa Santos, Carlos Roberto Valêncio, Marcelo Takeshi Honda. 325-330
- A Composite Project Effort Estimation Approach in an Enterprise Software Development ProjectCagatay Catal, Mehmet S. Aktas. 331-334
- Project Risk Management Using Event Calculus(S)Andreas Gregoriades, Vicky Papadopoulou Lesta, Petros Petrides. 335-338
- The Impact of Software Development Team Dynamics on the Knowledge Management Process(S)Shuib Basri, Rory V. O'Connor. 339-342
- Quick Acquisition of Topic-based Information/Knowledge from News Site DatabasesHao Han. 343-348
- Using Contextual Information to Improve Awareness in Software Development(S)Bruno Antunes, Joel Cordeiro, Pedro Costa, Paulo Gomes. 349-352
- Evaluation of Semi-Automatic Acquisition of Semantic Descriptions of Web Services(S)Shahab Mokarizadeh, Peep Küngas, Mihhail Matskin. 353-356
- A Comparison and Analysis of Some Ontology Visualization ToolsSimon Suigen Guo, Christine W. Chan. 357-362
- Knowledge management in next generation networksSamir Atitallah, Omar Abou Khaled, Maria Sokhn, Elena Mugellini. 363-368
- A Model for Knowledge Retrieval based on Semantic Images(S)H. Andrés Melgar S., Fabiano Duarte Beppler, Roberto C. S. Pacheco, José Leomar Todesco. 369-372
- Graph Grammar Based Web Data ExtractionAmin Roudaki, Jun Kong. 373-378
- Cyclic Association Rules: Coupling Between Dimensions With MeasuresEya Ben Ahmed, Ahlem Nabli, Faïez Gargouri. 379-384
- Measuring Similarity in Large-scale FolksonomiesGiovanni Quattrone, Emilio Ferrara, Pasquale De Meo, Licia Capra. 385-391
- Exploiting semantic aspects to evolve a text-based search on a legacy document management systemJohann Grabner, Andreas Mauczka, Mario Bernhart, Thomas Grechenig. 392-397
- Extracting Ontology Hierarchies From Text(S)Jone Correia, Rosario Girardi, Carla Gomes de Faria. 398-401
- From Glossaries to Ontologies: Disaster Management Domain(S)Katarina Grolinger, Kevin P. Brown, Miriam A. M. Capretz. 402-407
- Packaging Controlled Experiments Using an Evolutionary Approach Based on Ontology(S)Lilian Passos Scatalon, Rogério Eduardo Garcia, Ronaldo Celso Messias Correia. 408-413
- Knowledge Engineering in the domain of Carbon Dioxide Capture Process System Qing Zhou, Alexander J. Wiebe, Christine W. Chan. 414-419
- Maintainability Predictors for Relational Database-Driven Software Applications: Results from a SurveyMehwish Riaz, Emilia Mendes, Ewan D. Tempero. 420-425
- How Annotations are Used in Java: An Empirical StudyHenrique Rocha, Marco Tulio Valente. 426-431
- Automated Extraction of Data Lifecycle Support from Database ApplicationsKaiping Liu, Hee Beng Kuan Tan, Xu Chen, Hongyu Zhang, Bindu Padmanabhuni. 432-437
- An Empirical Study on the Importance of Quality Requirements in IndustryJosé Luis de la Vara, Krzysztof Wnuk, Richard Berntsson-Svensson, Juan Sánchez, Björn Regnell. 438-443
- An Empirical Study on Classification of Non-Functional RequirementsSu Liu, Reng Zeng, Xudong He. 444-449
- Assessing the Impact of Aspects on Design By Contract Effort: A Quantitative StudyHenrique Rebêlo, Ricardo Massa Ferreira Lima, Uirá Kulesza, Cláudio Sant'Anna, Roberta Coelho, Alexandre Mota, Márcio Ribeiro, Cesar A. L. Oliveira. 450-455
- Failure Prediction based on Log Files Using the Cox Proportional Hazard ModelIlenia Fronza, Alberto Sillitti, Giancarlo Succi, Jelena Vlasenko. 456-461
- Causal Networks Based Process ImprovementD. Günther, Robert Neumann, Konstantina Georgieva, Reiner R. Dumke. 462-465
- Measuring Levels of Abstraction in Software DevelopmentFrank Tsui, Abdolrashid Gharaat, Sheryl Duggins, Edward Jung. 466-469
- Reusing Functional Testing in order to Decrease Performance and Stress Testing CostsIsmayle de Sousa Santos, Alcemir Rodrigues Santos, Pedro de Alcântara dos Santos Neto. 470-474
- Empirical Analysis for Investigating the Effect of Control Flow Dependencies on Testability of ClassesMourad Badri, Fadel Touré. 475-480
- Empirical study upon software testing learning with support from educational gameMarcello Thiry, Alessandra Zoucas, Antônio C. da Silva. 481-484
- A Study on Performance Inconsistency between Estimation by Analogy and Linear RegressionSousuke Amasaki. 485-488
- Recommending Component by Citation: A Semi-supervised Approach for DeterminationSibo Cai, Yanzhen Zou, Lijie Wang, Bing Xie, Weizhong Shao. 489-494
- Testing Configurable Component-Based Software - Configuration Test Modeling and Complexity AnalysisJerry Gao, Jing Guan, Alex Ma, Chuanqi Tao, Xiaoying Bai, David Chenho Kung. 495-502
- Data Uncertainty Model for MashupXin Gao, Wenhui Hu, Wei Ye, Shikun Zhang. 503-508
- Presenting Software License Conflicts through ArgumentationThomas A. Alspaugh, Hazeline U. Asuncion, Walt Scacchi. 509-514
- A Genetic Approach for Software Architecture Recovery from Object-Oriented CodeAbdelhak-Djamel Seriai, Sylvain Chardigny. 515-520
- An Ontology based Method for Building Understandable Hierarchical Classification Structure for Software Assets BrowsingGe Li, Zhi Jin. 521-526
- Mapping non-functional requirements to cloud applicationsDavid Villegas, Seyed Masoud Sadjadi. 527-532
- Computational Reflection in order to support Context-Awareness in a Robotics FrameworkSheila Mendez Nunez, Francisco Ortin, Miguel García, Vicente García-Díaz. 533-538
- A Survey of Software Engineering for Self-Organization SystemsYi Guo, XinJun Mao, Cuiyun Hu, Junwen Yin, Jiang Cao. 539-542
- Self-Management of External Device Failures in Embedded Software SystemsMichael E. Shin, Poonam Mane. 543-546
- Towards Modeling and Validating Analysis Processes for Software AdaptationXiangping Chen, Gang Huang 0001, Lingshuang Shao. 547-552
- A Reflective Model for Architecting Feedback Control SystemsFilip Krikava, Philippe Collet. 553-559
- A Metamodel for Distributed Ensembles of Virtual AppliancesXabriel J. Collazo-Mojica, Seyed Masoud Sadjadi. 560-565
- Towards Automated Conformance Checking of ebBP-ST Choreographies and Corresponding WS-BPEL Based OrchestrationsMatthias Geiger, Andreas Schönberger, Guido Wirtz. 566-571
- Proactive Problem Management and Event CorrelationWerner Zirkel, Guido Wirtz. 572-577
- A Regression Test Technique for Analyzing the Functionalities of Service CompositionHuiqun Yu, Dongmei Liu, Guisheng Fan, Liqiong Chen. 578-582
- A view towards Organizational Learning: An empirical study on Scrum implementationViviane A. Santos, Alfredo Goldman, Ana Carolina M. Shinoda, André L. Fischer. 583-589
- Current State of Reference Architectures in the Context of Agile MethodologiesVinícius Augusto Tagliatti Zani, Daniel Feitosa, Elisa Yumi Nakagawa. 590-595
- Neglecting Agile Principles and Practices: A Case StudyPatricia Vilain, Alexandre Jonatan B. Martins. 596-601
- Simulations of Risks for Monitoring and PreventionMaria Grazia Fugini, Filippo Ramoni, Ronald Israels, Claudia Raibulet, Ovidiu Constantin. 602-607
- Flexible Support for Adaptable Software and Systems Engineering ProcessesRichard Mordinyi, Thomas Moser, Stefan Biffl, Deepak Dhungana. 608-612
- Automated Detection of Likely Design Flaws in N-Tier ArchitecturesAditya Budi, Lucia, David Lo, Lingxiao Jiang, Shaowei Wang. 613-618
- Exploiting Computational Redundancy for Efficient Recovery from Soft Errors in Sensor NodesAly Farahat, Ali Ebnenasir. 619-624
- A Web Service Reliability Model Based on Birth-Death ProcessChunli Xie, Bixin Li, Xifeng Wang. 625-628
- Architecture-based Reliability Analysis With Uncertain ParametersDerek Doran, Matthew Tran, Lance Fiondella, Swapna S. Gokhale. 629-634
- Architecture-based Reliability Analysis of Concurrent Software Applications using Stochastic Reward NetsRehab El-Kharboutly, Swapna S. Gokhale. 635-639
- Ensuring Continuous Data Accuracy in AISEMA SystemsIrina Diana Coman, Alberto Sillitti, Giancarlo Succi. 640-645
- Specification and Implementation of SPEM4MDE, a metamodel for MDE software processesSamba Diaw, Rédouane Lbath, Bernard Coulette. 646-653
- Conformance Checking of Software Development Processes Through Process MiningArtini M. Lemos, Caio C. Sabino, Ricardo Massa Ferreira Lima, Cesar A. L. Oliveira. 654-659
- SET-MM - A Software Evaluation Technology Maturity ModelRaul Garcia-Castro. 660-665
- A Feature-Based Modeling Approach to Configuring Privacy and Temporality in RBACSangsig Kim, Yen-Ting Lee, Yuanlin Zhu, Dae-Kyoo Kim, Lunjin Lu, Vijayan Sugumaran. 666-671
- Using Security Patterns to Tailor Software ProcessRosana Wagner, Lisandra Manzoni Fontoura, Adriano Brum Fontoura. 672-677
- Security Analysis of FileZilla Server Using Threat ModelsMichael Sanford, Daniel Woodraska, Dianxiang Xu. 678-682
- Misuse Patterns for Cloud ComputingKeiko Hashizume, Eduardo B. Fernández, Nobukazu Yoshioka. 683-686
- A Meta-Process to Support Trade-Off Analysis in Software Product Line ArchitectureEdson Alves de Oliveira Junior, Itana Maria de Souza Gimenes, José Carlos Maldonado. 687-692
- Design of a UML profile for feature diagrams and its tooling implementationThibaut Possompes, Christophe Dony, Marianne Huchard, Chouki Tibermacine. 693-698
- Software Product Lines System Test Case Tool: A ProposalCrescencio Rodrigues Lima Neto, Ivan do Carmo Machado, Paulo Anselmo da Mota Silveira Neto, Eduardo Santana de Almeida, Silvio Romero de Lemos Meira. 699-704
- Scalability of Variability Management: An Example of Industrial Practice and Some ImprovementsYinxing Xue, Stan Jarzabek, Pengfei Ye, Xin Peng, Wenyun Zhao. 705-710
- RiPLE-TE: A Process for Testing Software Product LinesIvan do Carmo Machado, Paulo Anselmo da Mota Silveira Neto, Eduardo Santana de Almeida, Silvio Romero de Lemos Meira. 711-716
- An Agile Scoping Process for Software Product LinesMarcela Balbino, Eduardo Santana de Almeida, Silvio Romero de Lemos Meira. 717-722
- An Approach for Identifying and Implementing Aspectual Features inSoftware Product LinesMohamed A. Zaatar, Haitham S. Hamza, Abd El Fatah Hegazy. 722-728
- Automating the Detection of Complex Semantic Conflicts between Software Requirements(An empirical study on requirements conflict analysis with semantic technology)Thomas Moser, Dietmar Winkler, Matthias Heindl, Stefan Biffl. 729-735
- A Process Oriented Approach to Model Non-Functional Requirements Proposition Extending UMLAneesh Krishna. 736-739
- Use Case Driven Extension of ProjectIT-RSL to Support Behavioral ConcernsDavid de Almeida Ferreira, Alberto Rodrigues da Silva. 740-745
- Applying and Validating a UML Metamodel for the Requirements Analysis in Multi-Agent Systems: The AME-A Case StudyGilleanes Thorwald Araujo Guedes, Rosa Maria Vicari. 746-751
- A Panorama of Software Architectures in Game DevelopmentLeonardo Bitencourt Morelli, Elisa Yumi Nakagawa. 752-757
- Detecting Architecture Erosion by Design Decision of Architectural PatternLei Zhang, Yanchun Sun, Hui Song, Franck Chauvel, Hong Mei. 758-763
- A Flexible Event-Driven Architecture for Peer-to-Peer Based ApplicationsLeone Parise Vieira da Silva, Rajiv Geeverghese, Edward de Oliveira Ribeiro, Genaína Nunes Rodrigues, Célia Ghedini Ralha. 764-769
- A Formal Approach for Incorporating Architectural Tactics into the Software ArchitectureHamid Bagheri, Kevin J. Sullivan. 770-775
- Towards Quality Based Solution Recommendation in Decision-Centric Architecture DesignLei Zhang, Yanchun Sun, Yuehui Peng, Xiaofeng Cui, Hing Mei. 776-781
- Representation of Reference Architectures: A Systematic ReviewMilena Guessi, Lucas Bueno Ruas de Oliveira, Elisa Yumi Nakagawa. 782-785
- A Model-View-DynamicViewModel and its Performance in a Web-based Component ArchitectureGraeme Baillie, Brian Armour, Dave Allan, Robert Milne, Thomas M. Connolly, Richard B. Beeby. 786-791
- Analysis of the continuity of software processes execution in software organizations assessed in MPS.BR using Grounded TheoryCarlos Diego Andrade de Almeida, Thiago Crystyan Macedo, Adriano Albuquerque. 792-797