TABLE OF CONTENTS

SE 2010

MODEL BASED DEVELOPMENT

677-013: Model based Architecting with MARTE

and SysML Profiles

S. Pantsar-Syvdniemi and E. Ovaska 7

677-028: Timing Diagrams Requirements Modelingusing Event-B Formal Methods

T. Joochim, C.F. Snook, M.R. Poppleton, and

AM. Gravell 9

677-039: Transformation to Formalized Business

Process Model

G.-W. Kim, S.H. Lee, H. Seo, and J.H. Son 77

677-050: A .NET Architecture for Domain Expert

Programming in Electrical EngineeringG. Czech, C. Ernstbrunner, and J. Pichler 25

677-091: TraDe: A Language and its Tool Supportfor Programming in Electrical EngineeringM. Pfeiffer and J. Pichler 33

677-015: Plausible Logic Facilitates Engineeringthe Behaviour of Autonomous Robots

D. Billington, V. Estivill-Castro, R. He.xel, and

A.Rock 41

677-027: Updating Imperatively Defined Model

Transformations by Merging Paths

E. Fischer 49

677-043: Developing a Usability Evaluation

Framework (FUEML) for Modeling Languages

C. Schalles, M. Rebstock, and J. Creagh 57

677-095: Scheduler Implementation for Small

Embedded SystemsD. Donari, L. Ordinez, R. Santos, and J. Orozco 65

677-099: On the Object Modelling of the MassivelyParallel Architecture ComputersM. Youssfi, O. Bouattane, andM.O. Bensalah 77

SOFTWARE ENGINEERING REQUIREMENTSAND VALIDATION

677-021: Using Formal Concept Analysis for

Verification ofProcess - Data Matrices in

Conceptual Domain Models

/. Poelmans, G. Dedene, M. Snoeck, and S. Viaene 79

677-065: Property Checking for Design Patterns

L. Feng, X. Yu, G. Pu, S. Jiang, H. Zhu, and B. Gu 87

677-079: Modeling of a Requirements ManagementTool to Support Small ProjectsA. Zainol and S. Mansoor 95

677-088: Towards an Integrated Process-Personnel

Mode! to Evaluate the Requirements Engineering in

SMEs

L. Pires, M. Ortega, M. Perez, L. Mendoza,

E. Mendez, and K. Dommguez 101

677-097: Predicting Class Interactions from

Requirement Interactions: Evaluating a New

Filtration ApproachN. Kama, T. French, and M. Reynolds 109

SOFTWARE ENGINEERING METHODOLOGIES

AND EXPERIENCES

677-031: Performance Comparison for Effort

Estimation Models with Log-Normal and Gamma

Distributions

S.Amasaki 117

677-042: Experiences Initiating Software Product

Line Engineering in Small Teams with Pulse

H.M. Mxrsk-M0ller and B. N$rregaard J0rgensen ....725

677-066: Attachable Software Visualization for

Multiple-Thread ProgramsT. Shimomura, K. Ikeda, and M. Takahashi 135

677-072: A Graph Theoretic Approach to Estimate

Software Evolution Costs

EJ.Stanek 742

677-087: Usability of Mobile Voting with NFC

TechnologyK. Ok, V. Coskun, and M.N. Aydin 757

SOFTWARE RE-ENGINEERING, MAINTENANCE,

AND KNOWLEDGE MANAGEMENT

677-022: Improving Software Development Processes

in Small Companies: A Case StudyM.Kivihalme and A.Valsta 759

i

677-052: A New Constructive Model for 677-103: Developing S-Shaped Reliability Growth

Reengineering Software Systems Model for Open Source Software by ConsideringP. Sampson, H. Ali, and V. Roth 167 Change-Point

V.B. Singh, P.K. Kapur, andR. Kumar 256

677-061: A Validation of Refactorings Impact on

Maintainability: A Case StudyR.Shamawi 175 AUTHOR INDEX 265

677-085: Value-based Software Architecture

Knowledge Management Tool

N. Ahmad, M. Usman, and N. Ikram 181

677-089: Finding Alternate Javascript Codes with a

Code RepositoryE. Hirumuta, T. Kobayashi, N. Atsumi, and

K.Agusa 189

HUMAN-COMPUTER INTERACTION ISSUES

677-055: Expressive Power of a New Iconic Visual

Query Language for Mobile GIS

S. Khaddaj and H.E. Elariss 197

677-056: Query Formulation of a Visual QueryLanguage for Mobile GIS

H.E. Elariss and S. Khaddaj 205

677-064: Incorporating Usability in the Software

Development Process

M. Aveledo, A. De la Rosa, and A.M. Moreno 213

677-082: XP-PROTOTYPING Approach for User

Interface Design of Large Web-based ApplicationsOJV.A. Al-AUaf 218

SOFTWARE TESTING

677-025: Analyzing Impact of Change in UML

Sequence Diagrams on State Machine based

Regression TestingN. Sabahat, Q.-u.-A. Farooq, andZ.l. Malik 226

677-070: Server-Driven Regression Test for Web

Applications and its Performance

T. Shimomura and K. Ikeda 234

677-075: Addressing High Severity Faults in Web

Application TestingK. Dobolyi and W. Werner 240

677-033: Testing Embedded Systems Software using

Open Source Virtual Platforms

A. Bastoni, P. Boschi, F. Batino, C. Di Biagio, and

L.Recchia 248

ii