proceedings of the iasted international conference on ... · m. youssfi,...
Post on 12-Sep-2018
223 Views
Preview:
TRANSCRIPT
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
top related