|
Showing 1 - 3 of
3 matches in All Departments
|
System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering - 10th International Conference, SAM 2018, Copenhagen, Denmark, October 15-16, 2018, Proceedings (Paperback, 1st ed. 2018)
Ferhat Khendek, Reinhard Gotzhein
|
R1,580
Discovery Miles 15 800
|
Ships in 10 - 15 working days
|
This book constitutes the refereed proceedings of the 10th
International Conference on System Analysis and Modeling, SAM 2018,
held in Copenhagen Denmark, in October 2018. The 12 full papers and
2 short papers presented were carefully reviewed and selected from
24 submissions. The papers describe innovations, trends, and
experiences in modeling and analysis of complex systems using
ITU-T's Specification and Description Language (SDL-2010) and
Message Sequence Chart (MSC) notations, as well as related system
design languages - including UML, ASN.1, TTCN, SysML and the User
Requirements Notation (URN). This year's edition of SAM will be
under the theme "Languages, Methods, and Tools for Systems
Engineering", including languages and methods standardized by the
ITU-T, and domain-specific languages. Also included are software
engineering technologies, such as for requirements engineering,
software verification and validation, and automated code
generation.
This volume contains the proceedings of the 17th IFIP TC6/WG6. 1
Inter- tional Conference on Testing of Communicating Systems
(TestCom 2005). The conference was held at Concordia University,
Montr' eal, Canada, from May 31 to June 2, 2005. TestCom 2005 was
organized by Concordia University and was sponsored by IFIP.
Following the trends initiated at the 16th edition of the
conference held in Oxford, UK, the ?rst call for papers issued in
summer 2004 called for contri- tions from the general software
testing community. The goal of the conference thisyearwas
tocontinue the broadeningofthesubject. The themeoftheconf- ence
this year is "Meeting Software Testing. " In response to the call
for papers, we received 62 abstracts. Out of these abstracts, 53
turned into paper subm- sions. Each of these submissions was
evaluated by at least 3 reviewers from the Technical Programme
Committee, with the help of additional co-reviewers when needed.
The Programme Committee meeting was held online from January 18 to
January 30, 2005. Out of the 53 submitted papers, the Programme C-
mittee selected 24 papers covering the traditional topics of
TestCom, such as EFSM/FSM model-based testing, and also papers on
general software testing re?ecting the new trends in the
conference. We are very grateful to the keynote speaker, Prof. Tom
Maibaum, from McMaster University, Hamilton, Canada. Prof. Maibaum
addressed TestCom 2005 on this year's theme. He kindly provided an
extended abstract, which is also included in this volume.
|
SDL 2013: Model Driven Dependability Engineering - 16th International SDL Forum, Montreal, Canada, June 26-28, 2013, Proceedings (Paperback, 2013 ed.)
Ferhat Khendek, Maria Toeroe, Abdelouahed Gherbi, Rick Reed
|
R1,583
Discovery Miles 15 830
|
Ships in 10 - 15 working days
|
This book constitutes the refereed proceedings of the 16th System
Design Languages Forum, SDL 2013, held in Montreal, QC, Canada, in
June 2013. The 16 revised, high-quality, full papers presented were
carefully reviewed and selected from 30 submissions. The papers are
organized in topical sections on verification and testing;
dependability engineering; analysis; domain specific languages;
model transformation; specification and description language and
evolution.
|
You may like...
Loot
Nadine Gordimer
Paperback
(2)
R398
R330
Discovery Miles 3 300
Hampstead
Diane Keaton, Brendan Gleeson, …
DVD
R66
Discovery Miles 660
|