ebook ebooks e-book e-books downloaden bei MyEbooks.ch downloaden

Advances in Software Engineering International Conference on Advanced Software Engineering and Its Applications, ASEA 2009 Held as Part of the Future Generation Information Technology Conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009.

:	Dominik Slezak, Tai-hoon Kim, Akingbehin Kiumi, Tao Jiang, June Verner, Silvia Abrahao (Hrsg.)
:	Advances in Software Engineering International Conference on Advanced Software Engineering and Its Applications, ASEA 2009 Held as Part of the Future Generation Information Technology Conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009.
:	Springer-Verlag
:	9783642106194
:	1
:	CHF 62.30
:

:	Sonstiges
:	English

:	359
:	DRM
:	PC/MAC/eReader/Tablet
:	PDF

This volume constitutes the refereed proceedings of the International Conference on Advanced Software Engineering and Its Applications, ASEA 2009, held as part of the Future Generation Information Technology Conference, FGIT 2009, on Jeju Island, Korea, in December 2009. The conference focuses on the various aspects of advances in advanced software engineering and its applications with computational sciences, mathematics and information technology.

	Foreword	5
	Preface	7
	Organization	8
	Table of Contents	9
	A Systematic Literature Review of Software Process Improvement in Small and Medium Web Companies	13
	Introduction	13
	Systematic Literature Review (SLR)	14
	Overview	14
	Formulation of Research Questions	15
	Identification of Relevant Literature	15
	Study Quality Assessment	16
	Data Extraction	17
	Data Synthesis and Results of Systematic Literature Review	17
	Discussion and Conclusions	18
	References	19
	An XCP Based Distributed Calibration System	21
	Introduction	21
	System Architecture	22
	Implementation	23
	TouCAN Driver Library	23
	Command Handling Module	24
	Synchronous Data Transfer	24
	Event Channel Module	25
	Power-Up Data Transfer	25
	Flash Programming	25
	Experiments	26
	Conclusions	26
	References	27
	Structural and Behavioral Detection of Design Patterns	28
	Introduction	28
	Related Works	29
	Current Pattern Identification Approaches	29
	XML Document Retrieval	30
	A New Pattern Detection Approach	30
	Resemblance Determination: Structural Information	31
	Resemblance Determination: Method Definition Information	32
	Static Design Pattern Identification	32
	Behavioral Resemblance Determination	32
	Example: The JHotDraw Framewok and the Observer Pattern	33
	Conclusion	36
	References	36
	Test Case Minimization and Prioritization Using CMIMX Technique	37
	Introduction	37
	Test Case Prioritization	38
	Problem Statement	39
	Algorithm	40
	Application	40
	Conclusion and Future Work	43
	References	44
	Embedded Control Software Design with Aspect Patterns	46
	Introduction	46
	Embedded Control Software Design	47
	Functional Design	47
	Timing Design	47
	Aspect Description and Model Weaver	48
	Aspect Description	48
	Model Weaver	49
	Aspect Patterns	49
	Aspect Patterns for Timing Design	49
	Mutual Exclusion	50
	Double Buffering	51
	Related Work	51
	Conclusions	52
	References	53
	Towards a Consistent Semantics for Unsafe Time Petri Nets	54
	Introduction	54
	Time Petri Net	55
	Formal Semantics of $TPN$	55
	Discussion	57
	A Sound Time Petri Net Semantics	59
	Conclusion	61
	References	61
	A Multiple Viewed Interrelated Ontology Model for Holistic Component Specification and Retrieval	62
	Introduction	62
	Related Work	63
	Multiple-Viewed Interrelated Component Specification Ontology Model (MVICS)	64
	Intrinsic Model	64
	Function Model	65
	Context Model	65
	Meta-relationship Model	65
	Holistic and Precise Component Retrieval	67
	Class Weight Calculation Method	67
	Retrieval Algorithm	67
	Precision Calculation Method	68
	Adaptive Component Matching	68
	Search Result Profile	68
	The Prototype Tool and Case Study	68
	Validation	70
	Conclusions	71
	References	71
	A Conflict-Based Model for Problem-Oriented Software Engineering and Its Applications Solved by Dimension Change and Use of Intermediary	73
	Introduction	73
	TRIZ and Software Engineering	74
	Contradictions	74
	TRIZ	75
	Software Engineering Problems with TRIZ	75
	Butterfly Model	76
	Examples	78
	Conclusions	80
	References	80
	Requirements Engineering Problems and Practices in Software Companies: An Industrial Survey	82
	Introduction	82
	Data Gathering	83
	Questionnaire Design	83
	Population Determination	84
	Data Collection	84
	Results	84
	Demographic of Respondents	85
	Size of RE Problems	85
	RE Problems Pattern and Company Maturity	85
	Top-Ten RE Practices	86
	Discussion	87
	Conclusion	88
	References	88
	A Formal Methodology for Semantics and Time Consistency Checking of UML Dynamic Diagrams	90
	Introduction	90
	Sequence Diagrams as an Interactions Specification Language	91
	StateCharts as Implementation Description Language	93
	Consistency Checking of Dynamic Diagrams	94
	Consistency Checking of Untimed Graphs	94
	Consistency Checking of Timed Graphs	95
	Conclusion	97
	References	97
	A Process Model for Forensic Analysis of Symbian Smart Phones	98
	Introduction	98
	The Existing Process Models	100
	Digital Investigation Process Models	100
	Windows Mobile Forensic Process Model	101
	Process Model for Symbian Smartphones Forensics	101
	The Impediments of Symbian Smartphones Forensics	101
	The Symbian Smartphones Forensic Process Model	102
	Conclusion and Future Works	104
	References	104
	Reliability Analysis Method for Supporting Traceability Using UML	106
	Introduction	106
	Related Work	107
	Proposed Approach	107
	Software Reliability Model	108
	Reliability Prediction Method