default search action
20th SEKE 2008: San Francisco, CA, USA
- Proceedings of the Twentieth International Conference on Software Engineering & Knowledge Engineering (SEKE'2008), San Francisco, CA, USA, July 1-3, 2008. Knowledge Systems Institute Graduate School 2008, ISBN 1-891706-22-5
- Cecilia Claudio:
How to make an information elephant dance. SEKE 2008: 1 - Laura M. Haas:
Impact! The Challenge of Industrial Research in Computer Science in a web 2.0 world. SEKE 2008: 2 - Yi Deng:
Building Global Ecosystem for Collaborative Computing Research and Education. SEKE 2008: 3
Applications I
- Shi-Kuo Chang, Zhoulan Zhang, Colin J. Ihrig, Paolo Maresca, Valentina Ternelli:
Transformations for Rapid Prototyping of Time-critical Applications. SEKE 2008: 4-15 - Gregor Scheithauer, Guido Wirtz:
Case Study: Applying Business Process Management Systems. SEKE 2008: 12-15 - Tsong Yueh Chen, Huimin Lin, Robert G. Merkel, Daoming Wang:
Verification of Optimization Algorithms: a Case Study of a Quadratic Assignment Problem Solver. SEKE 2008: 16-21
Software Engineering Methodology I
- Nelly Condori-Fernández, Oscar Pastor:
Towards a Theoretical Model for Evaluating the Acceptance of Model-driven Measurement Procedures. SEKE 2008: 22-25 - Nima Dezhkam, Kamran Sartipi:
Knowledge Transformation from Task Scenarios to View-based Design Diagrams. SEKE 2008: 26-32 - Chien-Hung Liu, Shu-Ling Chen, Yu-Chun Huang:
PSPCAT: A PSP Data Collection and Analysis Tool. SEKE 2008: 33-37
Software Process Modeling I
- Xiaoyang He, Ya-sha Wang, Yu-xin Teng, Jin-gang Guo:
A Systematic Method for Process Tailoring Based on Knowledge Reuse. SEKE 2008: 38-41 - Santiago Matalonga, Tomás San Feliu Gilabert:
Linking Return on Training Investment with Defects Causal Analysis. SEKE 2008: 42-47 - Thomas Vogel, Jens Bruhn, Guido Wirtz:
Autonomous Reconfiguration Procedures for EJB-based Enterprise Applications. SEKE 2008: 48-53
Software Maintenance and Evolution
- Nicholas A. Kraft, Brandon W. Bonds, Randy K. Smith:
Cross-language Clone Detection. SEKE 2008: 54-59 - Alain April, Naji Habra, Arnaud Counet:
Software Maintenance Maturity Model (S3mDSS) A Decision Support System. SEKE 2008: 60-66 - Chessman K. F. Corrêa, Leonardo Gresta Paulino Murta, Cláudia M. L. Werner:
Odyssey-MEC: Model Evolution Control in the Context of Model-Driven Architecture. SEKE 2008: 67-72
SE with Computational Intelligence and Machine Learning I
- Andres Folleco, Taghi M. Khoshgoftaar, Lofton A. Bullard:
Analyzing the Impact of Attribute Noise on Software Quality Classification. SEKE 2008: 73-78 - Zhiwei Xu, Naeem Seliya, Weibiao Wu:
An Adaptive Neural Network with Dynamic Structure for Software Defect Prediction. SEKE 2008: 79-84
Software Engineering Methodology II
- Nicholas A. Kraft, Kevin S. Webb:
Evaluating the Accuracy of Call Graphs Extracted with the Eclipse CDT. SEKE 2008: 85-90 - Jouni Lappalainen, Lasse Harjumaa, Jukka Sirviö, Tytti Pokka, Heidi Moisanen, Hanna Leskinen:
A Comparison of Time Tracking Tools for Software Developers. SEKE 2008: 91-96 - Amir A. Khwaja, Joseph E. Urban:
RealSpec: an Executable Specification Language for Modeling Resources. SEKE 2008: 97-102
Software Testing I
- Linda Badri, Mourad Badri, Daniel St-Yves:
Predicting Change Propagation in Object-oriented Systems: a Control-call Path Based Approach and Associated Tool. SEKE 2008: 103-110 - Andy Tinkham, Scott R. Tilley, Tauhida Parveen:
A Qualitative Assessment of the Reverse Engineering Capabilities of Unit Testing Tools for Understanding Java Programs. SEKE 2008: 111-116 - Christos Kloukinas, George Spanoudakis, Khaled Mahbub:
Estimating Event Lifetimes for Distributed Runtime Verification. SEKE 2008: 117-122
SE with Computational Intelligence and Machine Learning II
- Cheng Zhong, Zilan (Nancy) Yang, Mohsen Afsharchi, Behrouz H. Far:
Ontology-learning Supported Sematic Search Using Cooperative Agents. SEKE 2008: 123-128 - Javier Belmonte, Philippe Dugerdil:
Automating a Domain Model Aware Reengineering Methodology. SEKE 2008: 129-136 - Gengshen Du, Thomas Zimmermann, Günther Ruhe:
Explaining Product Release Planning Results Using Concept Analysis. SEKE 2008: 137-142 - Burak Turhan, Ayse Basar Bener:
Weighted Static Code Attributes for Software Defect Prediction. SEKE 2008: 143-148
Software Engineering Methodology III
- Márcio de Oliveira Barros:
Predicting Software Project Size Using Project Generated Information. SEKE 2008: 149-154 - Xin Zhou, Bonnie Ray, Chenhua Feng:
Supporting Reusable Component Selection with Use Case Gap-based Development Effort Estimation. SEKE 2008: 155-166 - Lizi Xie, Junchao Xiao, Dapeng Liu, Qing Wang:
A Project Scheduling Method Based on Human Resource Availability. SEKE 2008: 161-166 - Haruka Nakao, Adam Trendowicz, Jürgen Münch:
Estimating the Effort of Independent Verification and Validation in the Context of Mission-critical Software Systems - A Case Study. SEKE 2008: 167-172
Software Process Modeling II
- Clênio F. Salviano, Adriana Maria C. M. Figueiredo:
Unified Basic Concepts for Process Capability Models. SEKE 2008: 173-178 - Lisandra M. Fontoura, Roberto Tom Price:
Systematic Approach to Risk Management in Software Projects through Process Tailoring. SEKE 2008: 179-184 - Eliana Beatriz Pereira, Ricardo Melo Bastos, Toacy Cavalcante de Oliveira:
Process tailoring based on well-formedness rules. SEKE 2008: 185-190 - Andrea Janes, Alberto Sillitti, Giancarlo Succi:
Non-invasive Software Process Data Collection for Expert Identification. SEKE 2008: 191-196
SOA-Based Software Testing and Maintenance
- Paulo N. Cruz Filho, Silvia Regina Vergilio:
Using XML Patterns to Guide Perturbation Based Testing of Web Services. SEKE 2008: 197-202 - Juanzi Li, Xinyu You, Xiaoying Bai:
Translating OWL Specified Domain Knowledge to Aspect Oriented Model. SEKE 2008: 203-208 - Songlin Hu, Ying Liang, Jiuming Tian, Yicheng Song:
MAPLE: a Maintenance Approach for Pattern-enabLed rEconfiguration of SOA-based Enterprise Application. SEKE 2008: 209-214 - Lei Yang, Yu Dai, Bin Zhang:
Reliability Oriented QoS Driven Composite Service Selection Based on Performance Prediction. SEKE 2008: 215-218
Service Oriented Technology and Web Technology I
- Bum-Suk Lee, Jin Woo Im, Byung-Yeon Hwang, Du Zhang:
Design of an RSS Crawler with Adaptive Revisit Manager. SEKE 2008: 219-222 - Jian Dai, Mark Stamp:
QuickPay Online Payment Protocol. SEKE 2008: 223-226 - Dennis S. Patrone, Bina Ramamurthy:
Sharing Application Logic Across Programming Language Boundaries. SEKE 2008: 227-231
Software Reuse and Component Technology I
- Stefan Seedorf, Oliver Hummel:
Synergizing Collaboration and Reuse in Software Engineering. SEKE 2008: 232-233 - Guoliang Liu, Yang Li, Jun Wei:
Improving Component Container Development Process through Product Line Engineering. SEKE 2008: 238-243
System and Software Architecture I
- Zawar Qayyum, Flávio Oquendo:
.NET Extensions to the p-architecture Description Languages. SEKE 2008: 244-249 - Yanchun Sun, Hui Song, Xinghua Wang, Wenpin Jiao:
Towards Collaborative Development Based on Software Architecture. SEKE 2008: 250-254 - Carlo Ghezzi, Giordano Tamburrelli:
Choosing a Software Architecture: An Approach and a Case Study. SEKE 2008: 255-260
Formal Methods I
- Luis García, Steve Roach, Salamah Salamah:
PROTEF: Automatic Verification of Pattern-Based LTL Templates. SEKE 2008: 261-266 - Boleslaw Mikolajczak:
Formal Specification of Object-oriented Systems with Collaborative Objects and Petri Nets - a Case Study. SEKE 2008: 267-272 - Irbis Gallegos, Omar Ochoa, Ann Q. Gates, Steve Roach, Salamah Salamah, Corina Vela:
A Property Specification Tool for Generating Formal Specifications: Prospec 2.0. SEKE 2008: 273-278
SE with Computational Intelligence and Machine Learning III
- Taghi M. Khoshgoftaar, Naeem Seliya, Dennis J. Drown:
On the Rarity of Fault-prone Modules in Knowledge-based Software Quality Modeling. SEKE 2008: 279-284 - Du Zhang:
Machine Learning and Value-based Software Engineering: a Research Agenda. SEKE 2008: 285-290 - Vasile Rus, Sameer Mohammed, Sajjan G. Shiva:
Automatic Clustering of Defect Reports. SEKE 2008: 291-296
Software Engineering Methodology IV
- Sandro Morasca:
Subjective Assessment of the Mutual Influence of ISO 9126 Software Qualities: an Empirical Study. SEKE 2008: 297-302 - Edward B. Duffy, Jason O. Hallstrom, Brian A. Malloy:
Reverse Engineering Interface Protocols for Comprehension of Large C++ Libraries during Code Evolution Tasks. SEKE 2008: 303-308 - Ana Paula Carvalho Cavalcanti, Felipe Santana Furtado Soares, Valéria Moura, R. Costa, Silvio Romero de Lemos Meira:
Knowledge Management to Support the Deployment of a CMMI Level 3 Process. SEKE 2008: 309-314
System and Software Architecture II
- M. Muztaba Fuad:
Code Transformation Techniques and Management Architecture for Self-manageable Distributed Applications. SEKE 2008: 315-320 - Xiaofeng Cui, Yanchun Sun, Sai Xiao, Hong Mei:
A Decision-centric Architecture Design Method Facilitating the Contextually Capture and Reuse of Design Knowledge. SEKE 2008: 321-326 - Peter Henderson, Nishadi De Silva:
System Architecture Induces Document Architecture. SEKE 2008: 327-332 - E. Zeynep Erson, Murat Cenk Cavusoglu:
A Software Framework for Integrative Physiological Model Simulation. SEKE 2008: 333-338
Service Oriented Technology and Web Technology II
- S. Herr, Konstantin Läufer, J. Shafaee, George K. Thiruvathukal, Guido Wirtz:
Combining SOA and BPM Technologies for Cross-System Process Automation. SEKE 2008: 339-344 - Klaus Marius Hansen, Weishan Zhang, Goncalo Soares:
Ontology-Enabled Generation of Embedded Web Services. SEKE 2008: 345-350 - Chi-Lu Yang, Yeim-Kuan Chang, Chih-Ping Chu:
Modeling Services to Construct Service-oriented Healthcare Architecture for Digital Home-care Business. SEKE 2008: 351-356
Databases
- Maria Cláudia Figueiredo Pereira Emer, Silvia Regina Vergilio, Mário Jino:
Testing Relational Database Schemas with Alternative Instance Analysis. SEKE 2008: 357-362 - Lorena Chavarría-Báez, Xiaoou Li:
Analyzing Termination and Confluence in Active Rule Base via a Petri Net Approach. SEKE 2008: 363-366 - Ying Jin, Tejaswitha Bhavsar:
A Fuzzy Trigger Language for Relational Database Systems. SEKE 2008: 367-370
Data Mining I
- D. A. Meedeniya, Amal Shehan Perera:
A Comparative Study on Data Representation to Categorize Text Documents. SEKE 2008: 371-374 - Rami Bahsoon, Wolfgang Emmerich:
An Example on Economics-driven Software Mining. SEKE 2008: 375-380 - Qin Ding, Wen Shen Huang:
VP: an Efficient Algorithm for Frequent Itemset Mining. SEKE 2008: 381-386
Model-Based Software Engineering I
- Olivier Le Goaër, Mourad Chabane Oussalah, Dalila Tamzalit, Abdelhak Seriai:
Evolution Shelf: Exploiting Evolution Styles within Software Architectures. SEKE 2008: 387-392 - Harald Brandl, Gordon Fraser, Franz Wotawa:
Coverage-based Testing Using Qualitative Reasoning Models. SEKE 2008: 393-398 - Marta S. Tabares, Raquel Anaya, Ana Moreira, João Araújo, Fernando Arango Isaza:
Traceability Models to Control an Aspectual Model-driven Development. SEKE 2008: 399-404
Knowledge Engineering
- Dietmar Jannach:
Knowledge-based System Development with Scripting Technology: A Recommender System Example. SEKE 2008: 405-416 - Li Yang, Raimund K. Ege:
Integrating Trust Management into Usage Control in P2P Multimedia Delivery. SEKE 2008: 411-416 - Bueno Borges de Souza, Li Weigang, Antônio Márcio Ferreira Crespo, Victor Rafael Rezende Celestino:
Flow Balancing Model for Air Traffc Flow Management. SEKE 2008: 417-421
Applications II
- Beomjin Kim, Keith Bock, Michael Burton, Rod Strong, Benjamin Aeschliman:
VisRFID: Visualizing Customer Behavior in Geotemporal Space Using RFID Technology. SEKE 2008: 422-427 - Oscar M. Rodríguez-Elias, Alberto L. Morán, Jaqueline I. Lavandera, Aurora Vizcaíno:
Analyzing Manufacturing Process Knowledge Flows with KoFI. SEKE 2008: 428-433 - Nenad Stankovic:
Performance: a Longitudinal Study. SEKE 2008: 434-439
Formal Methods II
- Gonzalo Argote-Garcia, Peter J. Clarke, Xudong He, Yujian Fu, Leyuan Shi:
A Formal Approach for Translating a SAM Architecture to PROMELA. SEKE 2008: 440-447 - Ali Mili, Shir Aharon, Chaitanya Nadkarni:
An Algorithm for Computing Loop Functions. SEKE 2008: 448-453 - Tu Peng, Jing Dong, Yajing Zhao:
Verifying Behavioral Correctness of Design Pattern Implementation. SEKE 2008: 454-459
Software Requirements Engineering I
- Namfon Assawamekin, Thanwadee Sunetnanta, Charnyote Pluempitiwiriyawej:
Automated Multiperspective Requirements Traceability Using Ontology Matching Technique. SEKE 2008: 460-465 - Abdolmajid Mousavi, Behrouz H. Far:
Eliciting Scenarios from Scenarios. SEKE 2008: 466-471 - Carla T. L. L. Silva, Fernanda M. R. Alencar, João Araújo, Ana Moreira, Jaelson Brelaz de Castro:
Tailoring an Aspectual Goal-oriented Approach to Model Features. SEKE 2008: 472-477 - Magda Ilieva, Harold Boley:
Representing Textual Requirements as Graphical Natural Language for UML Diagram Generation. SEKE 2008: 478-483
Software Testing II
- Bo Qu, Changhai Nie, Baowen Xu, Xiaofang Zhang:
A Dynamic Adjusting Method for Test Case Prioritization. SEKE 2008: 484-487 - Wasif Afzal, Richard Torkar, Robert Feldt:
A Systematic Mapping Study on Non-Functional Search-based Software Testing. SEKE 2008: 488-493 - Zhenyu Chen, Xiaofang Zhang, Baowen Xu:
A Degraded ILP Approach for Test Suite Reduction. SEKE 2008: 494-499 - Yanelis Hernandez, Tariq M. King, Jairo Pava, Peter J. Clarke:
A Meta-model to Support Regression Testing of Web Applications. SEKE 2008: 500-505
Service Oriented Technology and Web Technology III
- Ned Chapin:
Service Granularity Effects in SOA. SEKE 2008: 506-511 - Abhinay Reddyreddy, Haiping Xu:
Securing Service-oriented Systems Using State-Based XML Firewall. SEKE 2008: 512-518 - John C. Sloan, Taghi M. Khoshgoftaar:
Toward Model Checking Web Services Over the Web. SEKE 2008: 519-524 - Deise de Brum Saccol, Nina Edelweiss, Renata de Matos Galante:
A Metadata Model for Managing and Querying XML Resources in Peer-to-peer Systems. SEKE 2008: 525-530
Formal Methods III
- Debmalya Biswas, Blaise Genest:
Minimal Observability for Transactional Hierarchical Services. SEKE 2008: 531-536 - Sachoun Park, Gihwon Kwon:
Using Boolean Cardinality Constraint for LTS Bounded Model Checking. SEKE 2008: 537-542 - Sachoun Park, Gihwon Kwon:
Japanese Puzzle as a SAT Problem. SEKE 2008: 543-548
Business Models for Service-Oriented Architectures
- Gregor Scheithauer, Guido Wirtz, Candemir Toklu:
Bridging the Semantic Gap Between Process Documentation and Process Execution. SEKE 2008: 549-554 - Suyog Gaidhani, Vijayananda Jagannatha:
Performance Challenges in Migrating to SOA Based Healthcare Systems. SEKE 2008: 555-560
Agent-Based Technology and Intelligence I
- Jian Dai, Junchao Xiao, Qing Wang, Mingshu Li, Huaizhang Li:
Dynamically Optimize Process Execution Based on Process-agent. SEKE 2008: 561-564 - Jason Honda, Harry H. Cheng, Donna Djordjevich:
Mobile-FIRST: a Mobile Agent Based First Responder System. SEKE 2008: 565-568 - Roman Neruda:
Ontology-based and Evolutionary Search for Computational Agents Schemes. SEKE 2008: 569-572
Software Reuse and Component Technology II
- Xiaolin Xi, Jiyong Park, Jiakun Liu, Seongsoo Hong:
A Goal-oriented Mixed-granularity Component Selection Method for Huge Component Repositories. SEKE 2008: 573-576 - Michael Eonsuk Shin, Fernando Paniagua:
A Case Study: Self-managed COTS Component-based Elevator System. SEKE 2008: 577-580 - Mark Mahoney, Tzilla Elrad:
Using Scenario Monitoring to Address State Based Crosscutting Concerns. SEKE 2008: 581-586
Methods and Tools for Robust Services and Service Compositions
- Sebastian Hudert, Heiko Ludwig, Guido Wirtz:
Negotiating Service Levels - A Generic Negotiation Framework for WS Agreement. SEKE 2008: 587-592 - Andreas Schönberger, Guido Wirtz:
Taxonomy on Consistency Requirements in the Business Process Integration Context. SEKE 2008: 593-598 - Hyggo Oliveira de Almeida, Marcos F. Pereira, Márcio de Medeiros Ribeiro, Angelo Perkusich, Emerson Loureiro, Evandro de Barros Costa:
Developing Enterprise Applications with Support to Dynamic Unanticipated Evolution. SEKE 2008: 599-602
Data Mining II
- Ching-Ming Chao:
Privacy-preserving Classification of Data Streams. SEKE 2008: 603-606 - Joel Pinho Lucas, Saddys Segrera, María N. Moreno García:
Comparing the Use of Traditional and Associative Classifiers towards Personalized Recommendations. SEKE 2008: 607-612 - Yan Wu, Harvey P. Siy, Li Fan:
Discovering Meaningful Clusters from Mining the Software Engineering Literature. SEKE 2008: 613-618
Model-Based Software Engineering II
- Ali Fatolahi, Stéphane S. Somé, Timothy C. Lethbridge:
A Model-Driven Approach for the Semi-automated Generation of Web-based Applications from Requirements. SEKE 2008: 619-624 - Souvik Barat, Vinay Kulkarni:
A Model-driven Toolset to Support an Approach for Analyzing Integration of Business Process Aspect of Enterprise Application Integration. SEKE 2008: 625-630 - Jerry Gao, Karen Kwok, Todd Fitch:
Model-based Test Complexity Analysis for Software Installation Testing. SEKE 2008: 631-637
Service Oriented Technology and Web Technology IV
- Lucas Drumond, Rosario Girardi, Fabio Silva:
A Similarity Analysis Model for Semantic Web Information Filtering Applications. SEKE 2008: 638-642 - Seyed Koosha Golmohammadi, Marek Z. Reformat, Witold Pedrycz:
Fuzziness in the Semantic Web: Survey and Future Directions. SEKE 2008: 643-648 - Onyeka Ezenwoye, Seyed Masoud Sadjadi:
A Language-based Approach to Addressing Reliability in Composite Web Services. SEKE 2008: 649-654
Agents, Web, and Security
- Eduardo Santana de Almeida, Alexandre Alvaro, Vinicius Cardoso Garcia, Daniel Lucrédio, Renata Pontin de Mattos Fortes, Silvio Romero de Lemos Meira:
A Systematic Process for Domain Engineering. SEKE 2008: 655-660 - Theocharis Tsigkritis, George Spanoudakis:
Diagnosing Runtime Violations of Security & Dependability Properties. SEKE 2008: 661-666
Model-Based Software Engineering III
- Antonio Navarro, Jorge Merino, Alfredo Fernández-Valmayor, Jesus Cristobal:
Translating Workflow Diagrams into Web Designs. SEKE 2008: 667-672 - Alan B. Shaffer:
A Security Domain Model for Static Analysis and Verification of Software Programs. SEKE 2008: 673-678 - Luca Vetti Tagliati:
Component Based Architectures for eXtreme Transacion Processing. SEKE 2008: 679-684
Ontologies I
- Rogério Eduardo Garcia, Erika Nina Höhn, Ellen Francine Barbosa, José Carlos Maldonado:
An Ontology for Controlled Experiments on Software Engineering. SEKE 2008: 685-690 - Sven J. Körner, Tom Gelhausen:
Improving Automatic Model Creation Using Ontologies. SEKE 2008: 691-696 - Ellen Francine Barbosa, Elisa Yumi Nakagawa, Ana C. Riekstin, José Carlos Maldonado:
Ontology-based Development of Testing Related Tools. SEKE 2008: 697-702
Software Test Automation and Practice I
- Rattikorn Hewett, Phongphun Kijsanayothin, Darunee Smavatkul:
Test Order Generation for Efficient Object-oriented Class Integration Testing. SEKE 2008: 703-708 - Gordon Fraser, Martin Weiglhofer, Franz Wotawa:
Using Observer Automata to Select Test Cases for Test Purposes. SEKE 2008: 709-714 - Jerry Gao, Wrihang Roberto Liang, Radhika Chhabra, Ramyashree Swamyo, Ma Xiang:
Building Testable Components - a Systematic Approach and Its Experimental Study. SEKE 2008: 715-722 - Xiaoying Bai, Tao Liu:
SyncTest: a Tool to Synchronize Source Code, Model and Testing. SEKE 2008: 723-728
Agent-Based Technology and Intelligence II
- Bin Zhou, Hong Zhu:
A Virtual Machine for Distributed Agent-oriented Programming. SEKE 2008: 729-734 - Adriana Leite, Rosario Girardi, Uiratan Cavalcante:
MAAEM: a Multi-agent Application Engineering Methodology. SEKE 2008: 735-740 - Fatih Tekbacak, Tugkan Tuglular, Oguz Dikenelli:
A Semantic Based Certification and Access Control Approach Using Security Patterns on SEAGENT. SEKE 2008: 741-744 - Ingrid Nunes, Uirá Kulesza, Camila Nunes, Carlos José Pereira de Lucena:
Documenting and Modeling Multi-agent Systems Product Lines. SEKE 2008: 745-751
Model-Based Software Engineering IV
- Yulin Ding, Yan Zhang:
A Study of the Model Explosion Problem in CTL Model Update. SEKE 2008: 752-757 - Paula Fernandes, Cláudia M. L. Werner, Leonardo Gresta Paulino Murta:
Feature Modeling for Context-Aware Software Product Lines. SEKE 2008: 758-763 - Olivier Buchwalder, Claude Petitpierre:
MEtaGile: A Pragmatic Domain-specific Modeling Environment. SEKE 2008: 764-768
Software Requirements Engineering II
- Óscar Dieste Tubío, Marta López, Felicidad Ramos:
Obtaining Well-Founded Practices about Elicitation Techniques by Means of an Update of a Previous Systematic Review. SEKE 2008: 769-772 - Edgar S. Calisaya, Marcos R. S. Borges, Maria Luiza Machado Campos:
Automatic Discovery of Interactions Between Software Requirements. SEKE 2008: 773-778 - Mauricio Alférez, Uirá Kulesza, André Sousa, João Pedro Santos, Ana Moreira, João Araújo, Vasco Amaral:
A Model-driven Approach for Software Product Lines Requirements Engineering. SEKE 2008: 779-784 - Mathias Funk, Piet van der Putten, Henk Corporaal:
Model Interpretation for Executable Observation Specifications. SEKE 2008: 785-790
Security Technology & Systems
- Alma Cemerlic, Li Yang, Joseph M. Kizza:
Network Intrusion Detection Based on Bayesian Networks. SEKE 2008: 791-794 - Feng Liu, Zhoujun Li, Ti Zhou, Mengjun Li:
Supremum of Agent Number Needed in Analyzing Security Protocols Based on Horn Logic. SEKE 2008: 795-801 - Tauhida Parveen, William H. Allen, Scott R. Tilley, Gerald A. Marin, Richard Ford:
Towards the Detection of Emulated Environments via Analysis of the Stochastic Nature of System Calls. SEKE 2008: 802-807
SE of Autonomic Grid Computing Systems and Applications I
- Debzani Deb, Michael J. Oudshoorn, John T. Paxton:
Self-managed Deployment in a Distributed Environment via Utility Functions. SEKE 2008: 808-813 - Gargi Dasgupta, Onyeka Ezenwoye, Liana Fong, Selim Kalayci, Seyed Masoud Sadjadi, Balaji Viswanathan:
Design of a Fault-tolerant Job-flow Manager for Grid Environments Using Standard Technologies, Job-flow Patterns, and a Transparent Proxy. SEKE 2008: 814-819 - José Maria N. David, Marcos R. S. Borges, José A. Pino:
Supporting Context-awareness in Web-based Groupware Development. SEKE 2008: 820-823
Software Engineering Methodology V
- Sherri M. Sanders, Cui Zhang:
Object-Z to Java/OO-Perl: A Conversion from Object-Z to Executable Skeletal Code with Dynamically Checkable Design Contracts. SEKE 2008: 824-829 - Jing Liu, Bin Liu, Chi Kong Tse, Keqing He:
An Empirical Study on Modularization of Object Oriented Software. SEKE 2008: 830-835 - Franz Wotawa:
Bridging the Gap Between Slicing and Model-based Diagnosis. SEKE 2008: 836-841 - Lei Hu, Kamran Sartipi:
Dynamic Analysis and Design Pattern Detection in Java Programs. SEKE 2008: 842-846
Service Oriented Technology and Web Technology V
- Tiago Cordeiro Marques, Marcio Gurjao Mesquita, Julio Cesar Campos Neto, Pedro Porfírio Muniz Farias:
Active Ontologies - an Approach for Using Ontologies as Semantic Web Services Interfaces. SEKE 2008: 847-852 - Yu Dai, Lei Yang, Bin Zhang, Kening Gao:
Failure Prediction Based Self-healing Approach for Web Service Composition. SEKE 2008: 853-856 - Yuxiang Wu, Christine W. Chan:
A Wed-based data Management and Analysis System for CO2 Capture. SEKE 2008: 857-860
Software Test Automation and Practice II
- Yoonsik Cheon, Antonio Cortes, Gary T. Leavens, Martine Ceberio:
Integrating Random Testing with Constraints for Improved Efficiency and Diversity. SEKE 2008: 861-866 - Christian Murphy, Gail E. Kaiser, Lifeng Hu, Leon Wu:
Properties of Machine Learning Applications for Use in Metamorphic Testing. SEKE 2008: 867-872 - Jonathan Hittle, Sudipto Ghosh:
Fault Injection Testing of User-space File Systems Using Traditional and Aspect-based Techniques. SEKE 2008: 873-876 - Makram Soui, Christophe Kolski, Mourad Abed, Guillaume Uster:
Evaluation of Personalized Information Systems: Application in Intelligent Transport System. SEKE 2008: 877-880
SE of Autonomic Grid Computing Systems and Applications II
- Farshad A. Samimi, Philip K. McKinley:
Dynamis: Dynamic Overlay Service Composition for Distributed Stream Processing. SEKE 2008: 881-886 - Olympio C. Silva Filho, Danilo F. S. Santos, Angelo Perkusich, Emerson Loureiro, Hyggo Oliveira de Almeida:
Wings4Symbian: A Pervasive Computing Middleware for Symbian OS Mobile Devices. SEKE 2008: 887-892 - Weishan Zhang, Klaus Marius Hansen:
An OWL/SWRL Based Diagnosis Approach in a Pervasive Middleware. SEKE 2008: 893-898
Model-Based Software Engineering V
- Mihai Nica, Bernhard Peischl, Franz Wotawa:
A Constraint Model for Automated Deployment of Automotive Control Software. SEKE 2008: 899-904 - Zaid Altahat, Tzilla Elrad, Luay Tahat:
Applying Critical Pair Analysis in Graph Transformation Systems to Detect Syntactic Aspect Interaction in UML State Diagrams. SEKE 2008: 905-911 - Kleinner S. F. Oliveira, Toacy Cavalcante de Oliveira:
Model Comparison: a Strategy-Based Approach. SEKE 2008: 912-917
Ontologies II
- Steffen Mencke, Martin Kunz, Reiner R. Dumke:
Towards Metrics for Ontology Balance. SEKE 2008: 918-922 - Damith C. Rajapakse:
Techniques for De-fragmenting Mobile Applications: A Taxonomy. SEKE 2008: 923-928 - Taiseera Hazeem Al Balushi, Pedro R. Falcone Sampaio, Mitul Patel, Óscar Corcho, Pericles Loucopoulos:
Identifying NFRs Conflicts Using Quality Ontology. SEKE 2008: 929-934 - Arndt Mühlenfeld, Wolfgang Mayer, Franz Maier, Markus Stumptner:
Ontology-based Process Modeling and Execution Using STEP/EXPRESS. SEKE 2008: 935-940
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-23 19:18 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: