|
|
libcats.org
Главная →
Scenarios: Models, Transformations and Tools: International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected PapersScenarios: Models, Transformations and Tools: International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected PapersStefan Leue, Tarja J. SystäThis volume is a post-event proceedings volume and contains selected papers based on presentations given during a seminar, held in Dagstuhl Castle, Germany in September 2003. It was organized as a continuation of a series of workshops that have been co-located with larger conferences such as the International Conference on Software Engineering (ICSE) and the Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) since 2000. The 14 included papers were thoroughly peer-reviewed in two rounds of reviewing and are organized in topical sections on semantics for scenario-based notations, scenario-based notations in software validation and verification, analysis of scenario-based specifications, abstraction, refinement, and synthesis for scenario-based notations, non-functional properties and data in scenario notations, synthesis of executable models from scenario descriptions, tool support for scenario-based notations, domain and application specific dialects of scenario notations, scenario-based modelling patterns, integration of scenarios and implied behaviour.
Скачать книгу бесплатно (pdf, 4.29 Mb)
Читать «Scenarios: Models, Transformations and Tools: International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers» EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Только что пользователи скачали эти книги:
Reclaiming the Sky: 9/11 and the Untold Story of the Men and Women Who Kept America FlyingАвтор: Tom MurphyКатегория: history_military
Размер книги: 1.84 Mb
История конструкций самолетов в СССР 1938-1950 гг. (материалы к истории самолетостроения). Справочное изданиеАвтор: Шавров Вадим БорисовичКатегория: транспорт
Размер книги: 7.46 Mb
Ovid: Metamorphoses Book XIII (Cambridge Greek and Latin Classics)Автор: Ovid, Автор: Neil Hopkinson
Размер книги: 29.10 Mb
|
|
|