Table of Contents

• Specialising in Software EngineeringMichael Jackson. 3-10 [doi]
• Evaluating Product Line Architectures: Methods and TechniquesMuhammad Ali Babar. 13 [doi]
• The Problem Frames Approach to Software EngineeringMichael Jackson. 14 [doi]
• Aligning the Map Requirements Modelling with the B-method for Formal Software DevelopmentAbdul Babar, Vladimir Tosic, John Potter. 17-24 [doi]
• A Methodological Framework for SysML: a Problem Frames-based ApproachPietro Colombo, Vieri Del Bianco, Luigi Lavazza, Alberto Coen-Porisini. 25-32 [doi]
• Extraction of Viewpoints for Eliciting Customer s Requirements based on Analysis of Specification Change RecordsKouji Aoyama, Takanori Ugai, Shigeru Yamada, Akihiko Obata. 33-40 [doi]
• Using Genetic Algorithms to Aid Test-Data Generation for Data-Flow CoverageAhmed S. Ghiduk, Mary Jean Harrold, Moheb R. Girgis. 41-48 [doi]
• Finding a Test Order using Object-Oriented Slicing TechniqueJutarat Jaroenpiboonkit, Taratip Suwannasart. 49-56 [doi]
• Function Call Flow based Fitness Function Design in Evolutionary TestingXiyang Liu, Miao Zhang, Zhiwen Bai, Lei Wang, Wen Du, Yan Wang. 57-64 [doi]
• Secure Behavior of Web Browsers to Prevent Information LeakagesTakaaki Tateishi, Naoshi Tabuchi. 65-72 [doi]
• Realizability of Collaboration-based Service SpecificationsHumberto Nicolás Castejón, Rolv Bræk, Gregor von Bochmann. 73-80 [doi]
• The Validation and Verification of WSCDLGeguang Pu, Jianqi Shi, Zheng Wang, Lu Jin, Jing Liu, Jifeng He. 81-88 [doi]
• Figure Out the Current Software Requirements Engineering - What Practitioners Expect to Requirements Engineering? -Mayumi Itakura Kamata, Ai Yoshimoto Yoshida, Hisashi Yoshida, Nao Aoki. 89-96 [doi]
• A Method for Early Requirements Triage and Selection Utilizing Product StrategiesMahvish Khurum, Khurum Aslam, Tony Gorschek. 97-104 [doi]
• Pseudo Software: a New Concept for Iterative Requirement Development and ValidationJung-Sing Jwo, Yu Chin Cheng. 105-111 [doi]
• Enterprise Assets Security Requirements Construction from ESRMG Grammar based on Security PatternsKawin Supaporn, Nakornthip Prompoon, Thongchai Rojkangsadan. 112-119 [doi]
• Construction Method of a High-Order Markov Chain Usage ModelTomohiko Takagi, Zengo Furukawa. 120-126 [doi]
• Static Call Graph Generator for C++ using Debugging InformationYui Terashima, Katsuhiko Gondow. 127-134 [doi]
• Improving Data Integrity with a Java Mutability AnalysisAiwu Shi, Gleb Naumovich. 135-142 [doi]
• Field Escape Analysis for Data Confidentiality in Java ComponentsAiwu Shi, Gleb Naumovich. 143-150 [doi]
• Coordination-Policy Based Composed System Behavior DerivationYiming Lau, Wenyun Zhao, Xin Peng, Zhixiong Jiang, Liwei Shen. 151-158 [doi]
• Approximation Algorithms for Software Component Selection ProblemNima Haghpanah, Shahrouz Moaven, Jafar Habibi, Mehdi Kargar, Soheil Hassas Yeganeh. 159-166 [doi]
• Towards Instant Automatic Model Refinement Based on OCLHui Song, Yanchun Sun, Li Zhou, Gang Huang. 167-174 [doi]
• Modeling and Learning Interaction-based Accidents for Safety-Critical Software SystemsTariq Mahmood, Edmund Kazmierczak, Tim Kelly, Dennis Plunkett. 175-182 [doi]
• Conformance Checking of Running Programs in Dynamic Aspect-Oriented SystemsChien-Min Wang, Chi-Chang Huang, Hsi-Min Chen, Shun-Te Wang. 183-190 [doi]
• Toward Efficient Aspect Mining for LinuxDanfeng Zhang, Yao Guo, Yue Wang, Xiangqun Chen. 191-198 [doi]
• Using B to Verify the Weaving of AspectsNinh-Thuan Truong, Viet Ha Nguyen. 199-205 [doi]
• E-AoSAS++ and its Software Development EnvironmentMasami Noro, Atsushi Sawada, Yoshinari Hachisu, Masahide Banno. 206-213 [doi]
• Visualization for Software Evolution Based on Logical Coupling and Module CouplingNoriko Hanakawa. 214-221 [doi]
• Optimising Project Feature Weights for Analogy-Based Software Cost Estimation using the Mantel CorrelationJacky Keung, Barbara A. Kitchenham. 222-229 [doi]
• An Empirical Study of Class Sizes for Large Java SystemsHongyu Zhang, Hee Beng Kuan Tan. 230-237 [doi]
• Are Size Measures Better Than Expert Judgment? An Industrial Case Study on Requirements VolatilityAnnabella Loconsole, Jürgen Börstler. 238-245 [doi]
• A Middleware-based Approach to Model Refactoring at RuntimeLing Lan, Gang Huang, Weihu Wang, Hong Mei. 246-253 [doi]
• Applying a Code Clone Detection Method to Domain Analysis of Device DriversYu-Seung Ma, Duk-Kuyn Woo. 254-261 [doi]
• Simultaneous Modification Support based on Code Clone AnalysisYoshiki Higo, Yasushi Ueda, Shinji Kusumoto, Katsuro Inoue. 262-269 [doi]
• Incentive Compatible Mechanisms for Group Ticket Allocation in Software Maintenance ServicesKarthik Subbian, Ramakrishnan Kannan, Raghav Kumar Gautam, Y. Narahari. 270-277 [doi]
• Statechart-based Verification of Object-Oriented Design ModelsToshiaki Aoki, Takuya Katayama. 278-285 [doi]
• Compositional Verification of UML Dynamic ModelsWei Dong, Ji Wang, Zhichang Qi, Ni Rong. 286-293 [doi]
• Requirements Engineering for Reactive Systems: Coloured Petri Nets for an Elevator ControllerJoão M. Fernandes, Jens Bæk Jørgensen, Simon Tjell. 294-301 [doi]
• An Executable UML with OCL-based Action Semantics LanguageKe Jiang, Lei Zhang, Shigeru Miyake. 302-309 [doi]
• Injecting security as aspectable NFR into Software ArchitectureHamid Bagheri. 310-317 [doi]
• An Investigation into Concurrency Control Mechanisms in Data Service LayersKrishneel Goundar, Santokh Singh, Xinfeng Ye. 318-325 [doi]
• Enhancing the ESIM (Embedded Systems Improving Method) by Combining Information Flow Diagram with Analysis Matrix for Efficient Analysis of Unexpected Obstacles in Embedded SoftwareYasufumi Shinyashiki, Toshiro Mise, Masaaki Hashimoto, Keiichi Katamine, Naoyasu Ubayashi, Takako Nakatani. 326-333 [doi]
• Developing an Insulin Pump System Using the SOFL MethodJichuan Wang, Shaoying Liu, Yong Qi, Di Hou. 334-341 [doi]
• Aspect-Oriented Modeling for Embedded Software DesignNatsuko Noda, Tomoji Kishi. 342-349 [doi]
• Automatic Extraction and Verification of Page Transitions in aWeb ApplicationAtsuto Kubo, Hironori Washizaki, Yoshiaki Fukazawa. 350-357 [doi]
• Disk Based Software Verification via Bounded Model CheckingFernando Brizzolari, Igor Melatti, Enrico Tronci, Giuseppe Della Penna. 358-365 [doi]
• A Synchronization Flow Analysis of Concurrent Objects in AIBO OPEN-R Programs Based on Communicating ProcessesRyo Suetsugu, Shoji Yuen, Kiyoshi Agusa. 366-373 [doi]
• A Process Pattern Language for Agile MethodsXiang-xi Meng, Ya-Sha Wang, Lei Shi, Feng-Jian Wang. 374-381 [doi]
• Deriving Software Process Simulation Model from SPEM-based Software Process ModelSeunghun Park, KeungSik Choi, Kyung-A Yoon, Doo-Hwan Bae. 382-389 [doi]
• Definition of an Executable SPEM 2.0Reda Bendraou, Benoît Combemale, Xavier Crégut, Marie-Pierre Gervais. 390-397 [doi]
• Experiment-Driven Approach to Building Support for Distributed Agile TeamsJacek Dajda, Grzegorz Dobrowolski. 398-405 [doi]
• An Approach to Probabilistic Effort Estimation for Military Avionics Software Maintenance by Considering Structural CharacteristicsTae-Hoon Song, Kyung-A Yoon, Doo-Hwan Bae. 406-413 [doi]
• A Large-Scale Empirical Comparison of Object-Oriented Cohesion MetricsRichard Barker, Ewan D. Tempero. 414-421 [doi]
• An Approach for Specifying Access Control Policy in J2EE ApplicationsHieu Dinh Vo, Masato Suzuki. 422-429 [doi]
• Early Validation and Verification of a Distributed Role-Based Access Control ModelSaad Zafar, Robert Colvin, Kirsten Winter, Nisansala Yatapanage, R. Geoff Dromey. 430-437 [doi]
• Reducing Unnecessary Conservativeness in Access Rights Analysis with String AnalysisMika Koganeyama, Naoshi Tabuchi, Takaaki Tateishi. 438-445 [doi]
• A Six Sigma Framework for Software Process Improvements and its ImplementationZhedan Pan, Hyuncheol Park, Jongmoon Baik, Ho-Jin Choi. 446-453 [doi]
• Methodology Support for the Model Driven ArchitectureFatemeh Chitforoush, Maryam Yazdandoost, Raman Ramsin. 454-461 [doi]
• Use of Agile Methods and Practices in the PhilippinesRaymund Sison, Theresa Yang. 462-469 [doi]
• A Survey on the Business Relationship between Chinese Outsourcing Software Suppliers and Their OutsourcersJingyue Li, Jianqiang Ma, Reidar Conradi, Weibing Chen, Junzhong Ji, Chunnian Liu. 470-477 [doi]
• Identifying Key Requirements for a New Product LineJuha Savolainen, Marjo Kauppinen, Tomi Männistö. 478-485 [doi]
• Tailoring the Domain Engineering Process of the PLUS MethodTsuneo Nakanishi, Mitsunori Fujita, Susumu Yamazaki, Naohito Yamashita, Shuichi Ashihara. 486-493 [doi]
• Deriving Product Line Requirements: the RED-PL Guidance ApproachOlfa Djebbi, Camille Salinesi, Daniel Diaz. 494-501 [doi]
• ezContract: Using Marker Library and Bytecode Instrumentation to Support Design by Contract in JavaYu Chin Cheng, Chien-Tsun Chen, Chin-Yun Hsieh. 502-509 [doi]
• MKtrace: An Innovative Debugging Tool for Multi-Threaded Programs on Multiprocessor SystemsYusen Li, Feng Wang, Gang Wang, Xiaoguang Liu, Jing Liu. 510-517 [doi]
• Checking Distributed Programs with Partially Ordered AtomsHon Fung Li, Eslam Al Maghayreh. 518-525 [doi]
• Quantitative Analysis of Value-Based Software Processes Using Decision-Based Stochastic Object Petri-NetsReng Yin, Hao Hu, JiDong Ge, Jian Lu. 526-533 [doi]
• Improving Effort Estimation Accuracy by Weighted Grey Relational Analysis During Software DevelopmentChao Jung Hsu, Chin-Yu Huang. 534-541 [doi]
• A Novel Approach of Prioritizing Use Case ScenariosDebasish Kundu, Debasis Samanta. 542-549 [doi]
• Accountability and Traceability in Global Software Engineering (ATGSE2007)Katsuro Inoue, Mike Barker. 553-554 [doi]
• The First International Workshop on Management and Economics of Software Product Lines (MESPUL07)Muhammad Ali Babar, Makoto Nonaka. 555-556 [doi]
• 1st International Workshop on Software Patterns and Quality (SPAQu 07)Hironori Washizaki, Nobukazu Yoshioka. 557-558 [doi]
• Workshop on Service Oriented ArchitectureToshiro Takase. 559 [doi]
• Education Workshop: Bridging the University/Industry GapJ. Barrie Thompson, Masami Noro, Helen M. Edwards. 560-561 [doi]
• SPACE 2007 - 1st International Workshop on Software Productivity Analysis and Cost EstimationJacky Keung. 562 [doi]
• Robust and Flexible Software Inspection model for Software Re-Engineering Process: Abstraction phaseFida Hussain, Muhammad Saeed Shehzad. 565 [doi]
• Architectural Naming, a Secret of Agile ThinkingZahra Karimi Dehkordi, Elahe Najafi. 565 [doi]
• Analyzing the Service Level of Software Debugging System through Simulation-based Queuing ApproachChu-Ti Lin, Chin-Yu Huang. 566 [doi]
• Time-Quality Metric Model for Quality Measurement of Web-Based SystemsBasem Suleiman, Eldar Aliev, Vladimir Tosic. 566 [doi]
• The TASM Language and the Hi-Five Framework: Specification, Validation, and Verification of Embedded Real-Time SystemsMartin Ouimet, Kristina Lundqvist. 567 [doi]
• Distributed Collaborative Modeling Support System for UML diagramsDongmei Xu, Jun Kurogi, Yoshihide Ohgame, Atsuo Hazeyama. 567 [doi]
• UCSI Towards a User-Centric Service Integration ApproachPengwei Tian, Yaoxue Zhang, Yuezhi Zhou, Ming Zhong, Cunhao Fang. 568 [doi]
• Formal Model-Driven Engineering of Distributed Simulation Systems based on Architecture-Centric Domain-Specific ApproachDi Wu, Jie Chen, Flávio Oquendo. 568 [doi]
• DFTL: a Description Language for Transformation of Data FormatsMeng Wang, Ping Chen, Xiyang Liu, Shengming Hu, Miao Zhang. 569 [doi]
• Email and Trouble Report Analysis for Revealing Context with the Project ReplayerKimiharu Okura, Shinji Kawaguchi, Noriko Hanakawa, Hajimu Iida. 569 [doi]
• Non-Functional Requirements Elicitation and Incorporation into Functional ModelsXiaoyu Song. 570 [doi]
• PORD: a Reversible Debugging Tool using Dynamic Binary TranslationXiyang Liu, Tao Liu, Zhiwen Bai, Yan Wang, Haoying Mu, Chunxiang Li. 570 [doi]
• Validating Software Reliability by Binary TranslationYi Wang. 570 [doi]
• MEtaGile: An Agile Domain-Specific Modeling EnvironmentOlivier Buchwalder. 571 [doi]
• Project Management Practices on Building Management Information System in IBM Global Business ServiceYi Wang, Huihui Shi. 571 [doi]
• Analysis of the Factors of Influencing Parent s Confidence on the Internet by Associating Rules MiningSheng-Fei Hsu, Hui-Ling Yu. 572 [doi]