Приложение
для AndroidПолное описание
Lecture notes in business information processing / ed. W. Van der Aalst [et al.]. - Berlin [etc.] : Springer-Verl., 20 - . - Текст : непосредственный.
56 : Specification and verification of declarative open interaction models. A logic-based approach / M. Montali. - 2010. - XXII, 411 p. : ill. - Библиогр.: с. 385-402 (270 назв.). Указ.: с. 403-411
| ГРНТИ | УДК | |
| 50.39.29 | 004.75-047.58 | |
| 50.05.13 | 004.415.5 | |
| 004.415.28 |
Рубрики:
Вычислительные системы распределенные -- Моделирование
Программное обеспечение ЭВМ -- Верификация
Программное обеспечение ЭВМ -- Спецификация
Доп. точки доступа:
Van der Aalst, W.\ed.\
Копия:
Нет сведений об экземплярах
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): R/18313/56)
Шифр в сводном ЭК: b5ade53bf786cc7117052352f917adae
Lecture notes in business information processing / ed. W. Van der Aalst [et al.]. 101 : Web information systems and technologies : 7th intern. conf., WEBIST 2011, Noordwijkerhout, the Netherlands, May 6-9, 2011: rev. sel. papers / International conference on web information systems and technologies (7; 2011; Noordwijkerhout), 2012. - XII, 221 p. - Текст : непосредственный.
Lecture notes in business information processing / ed. W. Van der Aalst [et al.]. 56 : Specification and verification of declarative open interaction models. A logic-based approach / M. Montali, 2010. - XXII, 411 p. - Текст : непосредственный.Business process management : 3rd international conference, BPM 2005 Nancy, France, September 5-8, 2005: proceedings / eds. W. van der Aalst [et al.], 2005 r=on-line. - Текст : электронный.Lecture notes in business information processing / ed. W. Van der Aalst [et al.]. 30 : Evaluation of electronic voting : requirements and evaluation procedures to support responsible election authorities / M. Volkamer, 2009. - XIV, 248 p. - Текст : непосредственный.Lecture notes in business information processing / ed. W. Van der Aalst [et al.]. 77 : Agile processes in software engineering and extreme programming : 12th intern. conf., XP 2011, Madrid, Spain, May 10-13, 2011: proc. / International conference on agile software development (12; 2011; Madrid), 2011. - XIII, 333 p. - Текст : непосредственный.Montali M. Specification and verification of declarative open interaction models : a logic-based approach / M. Montali, 2010 r=on-line. - Текст : электронный.
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
Agile processes in software engineering and extreme programming / SpringerLink (Online service), 2009 r=on-lineSoftware engineering approaches for offshore and outsourced development / SpringerLink (Online service), 2009 r=on-lineDesign requirementsengineering:a ten-year perspective / W. Aalst, P. Loucopoulos, K. Lyytinen [et al.] ; ed. K. Lyytinen, 2009 r=on-line.Agent-mediated electronic commerce and trading agent design and analysis / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный.Mendlig J. Metrics for process models / J. Mendlig, 2009 r=on-line. - Текст : электронный.Agent-Mediated electronic commerce. designing trading strategies and mechanisms for electronic markets / SpringerLink (Online service), 2010 r=on-line. - Текст : электронный.Volkamer M. Evaluation of electronic voting : requirements and evaluation procedures to support responsible election authorities / M. Volkamer, 2009 r=on-line. - Текст : электронный.Lecture notes in business information processing / ed. W. Van der Aalst [et al.]. 56 : Specification and verification of declarative open interaction models. A logic-based approach / M. Montali, 2010. - XXII, 411 p. - Текст : непосредственный.Perspectives in business informatics research : 9th international conference, BIR 2010, Rostock Germany, September 29–October 1, 2010: proceedings / ed. P. Forbrig, 2010 r=on-line. - Текст : электронный.Business information systems workshops : BIS 2010 international workshops, Berlin, Germany, May 3-5, 2010: revised papers / ed. W. Abramowicz, 2010 r=on-line. - Текст : электронный.Enterprise and organizational modeling and simulation : 6th international workshop, EOMAS 2010, held at CAiSE 2010, Hammamet, Tunisia, June 7-8, 2010: selected papers / ed. J. Barjis, 2010 r=on-line. - Текст : электронный.Lean enterprise software and systems : first international conference, LESS 2010, Helsinki, Finland, October 17-20, 2010: proceedings / ed. P. Abrahamsson, 2010 r=on-line. - Текст : электронный.Ontology, conceptualization and epistemology for information systems, software engineering and service science : 4th international workshop, ONTOSE 2010, held at CAiSE 2010, Hammamet, Tunisia, June 7-8, 2010: revised selected papers / ed. M. Sicilia, 2010 r=on-line. - Текст : электронный.Advances in enterprise engineering IV : 6th international workshop, CIAO! 2010, held at descrst 2010, St. Gallen, Switzerland, June 4-5, 2010: proceedings / ed. A. Albani, 2010 r=on-line. - Текст : электронный.Enterprise, business-process and information systems modeling : 11th international workshop, BPMDS 2010, and 15th international conference, EMMSAD 2010, held at caise 2010, Hammamet, Tunisia, June 7-8, 2010: proceedings / ed. I. Bider, 2010 r=on-line. - Текст : электронный.Business process management workshops : BPM 2009 international workshops, Ulm, Germany, September 7, 2009: revised papers / ed. S. Rinderle-Ma [et al.], 2010 r=on-line. - Текст : электронный.Web information systems and technologies : 5th international conference, WEBIST 2009, Lisbon, Portugal, March 23-26, 2009: revised selected papers / ed. J. Cordeiro, J. Filipe, 2010 r=on-line. - Текст : электронный.Agile processes in software engineering and extreme programming : 11th International conference, XP 2010, Trondheim, Norway, June 1-4, 2010: proceedings / ed. A. Sillitti [et al.], 2010 r=on-line. - Текст : электронный.Business information systems : 12th intern. conf., BIS 2009, Poznan, Poland, Apr. 27-29, 2009: proc. / ed. W. Abramowicz, 2009 r=on-line. - Текст : электронный.Agent-based technologies and applications for enterprise interoperability : international workshops, ATOP 2005 Utrecht, the Netherlands, July 25-26, 2005, and ATOP 2008, Estoril, Portugal, May 12-13, 2008: revised selected papers / ed. K. Fischer [et al.], 2009 r=on-line. - Текст : электронный.
Показать все результатыОузьер Д. Освой самостоятельно Delphi 2 : монография / Д. Оузьер, С. Гробман, С. Батсон, 1997. - 614 с. - Текст : непосредственный.Учебное пособие по курсу "Вычислительная математика и программирование". Инструментальные средства программирования СВМ ЕС ЭВМ / Л. Г. Алтухов, Л. Д. Когут, Н. Ю. Озеров ; Ред. О. М. Рякин, 1989. - 78 с. - Текст : непосредственный.От Паскаля к Аде : монография / Т. Ю. Бардинова, В. Ю. Блажнов, А. А. Маслов, В. Н. Орлов, 1990. - 255 c. - Текст : непосредственный.Васильев В.В. Сети Петри, параллельные алгоритмы и модели мультипроцессорных систем / В. В. Васильев, В. В. Кузьмук, 1990. - 213 c. - Текст : непосредственный.Структуры данных / В. И. Жаков, Н. В. Корсаков, А. В. Никитин, В. В. Фильчаков, 1989. - 76 с. - Текст : непосредственный.Корольков А.В. Структуры данных / А. В. Корольков, 1990. - 44 с. - Текст : непосредственный.Tutorial:Microprogramming and firmware engineering / Ред.Compl. V. Milutinovic, 1989. - VII,409 p. p. - Текст : непосредственный.Боресков А.В. Разработка и отладка шейдеров / А. В. Боресков, 2006. - 1 o=электрон. опт. диск (CD-ROM). - Текст : электронный.Демаков А.В. Объектно-ориентированное описание графового представления программ и моделей / А. В. Демаков, 2006. - 26 с. - Текст : непосредственный.Коваленко В.Н. Комплексное программное обеспечение грида вычислительного типа / В. Н. Коваленко, 2007. - 39 с. - Текст : непосредственный.Морозов И. А. Математическое и программное обеспечение диспетчеризации беспроводных распределенных компьютерных систем / И. А. Морозов, 2007. - 20 с. - Текст : непосредственный.Мельникова О.И. Технология программирования / О. И. Мельникова, А. Ю. Бонюшкина, 2001. - 84 с. - Текст : непосредственный.Галявов И.Р. Borland C++ 5 для себя / И. Р. Галявов, 2001. - 427 с. - Текст : непосредственный.Lecture notes in electrical engineering. Vol. 34 : Designing reliable and efficient networks on chips / S. Murali, 2009. - X, 198 p. - Текст : непосредственный.Поленов М.Ю. Разработка инструментальных средств проектирования, исследования и оптимизации проблемно-ориентированных вычислительных систем : специальность 05.13.13 "", 05.13.16 "" : автореферат диссертации на соискание ученой степени канд.техн.наук / М. Ю. Поленов, 1995. - 16 с. - Текст : непосредственный.Walters H.R. Rewrite systems for integer arithmetic / H. R. Walters, H. Zantema, 1995. - 13 p. - Текст : непосредственный.Винокуров Н. А. Практика и теория программирования : учеб. пособие: в 2 кн. Кн. 1 Ч. 1 и 2, 2008. - 189 с. - Текст : непосредственный.Винокуров Н. А. Практика и теория программирования : учеб. пособие: в 2 кн. Кн. 2Ч. 3 и 4, 2008. - 284 с. - Текст : непосредственный.Труды Института системного анализа Российской академии наук. Т. 14 : Проблемы вычислений в распределенной среде. Модели обработки и представления данных. Динамические системы : сб. статей / Под ед. С.В. Емельянова, А.П. Афанасьева, 2005. - 222 с. - Текст : непосредственный.Современные проблемы конструирования программ / Ред. В. Н. Касьянов, 2002. - 248 с. - Текст : непосредственный.
Показать все результатыAutomated technology for verification and analysis / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный.Model checking and artificial intelligence / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный.Петров К.В. Автоматизированная система моделирования логических неисправностей для тестирования вычислительных процессов : специальность 05.13.12 "Системы автоматизации проектирования (по отраслям)" : диссертация на соискание ученой степени канд. техн. наук / К. В. Петров, 2007. - 19 с. - Текст : непосредственный.Глухих М.И. Программная инженерия. Обеспечение качества программных средств методами статического анализа : учебное пособие / М. И. Глухих, В. М. Ицыксон, 2011. - 149 с. - Текст : непосредственный.Verification of object-oriented software. The key approach / SpringerLink (Online service), 2007 r=on-line.Непомнящий В.А. Язык спецификаций распределенных систем Dynamic-REAL / В. А. Непомнящий, Е. В. Бодин, С. О. Веретнов, 2007. - 42 с. - Текст : непосредственный.Окунишникова Е.В. Моделирование Estelle-спецификаций распределенных систем с помощью раскрашенных сетей Петри : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : диссертация на соискание ученой степени канд. физ.-мат. наук / Е. В. Окунишникова, 2004. - 18 с. - Текст : непосредственный.Гаранина Н.О. Аффинное представление данных для проверки моделей программ / Н. О. Гаранина, 2004. - 48 с. - Текст : непосредственный.Былинович А.П. Методы повышения качества программных средств на основе мультихромосомной генетической модели : специальность 05.13.12 "Системы автоматизации проектирования (по отраслям)" : автореферат диссертации на соискание ученой степени канд. техн. наук / А. П. Былинович, 1998. - 23 с. - Текст : непосредственный.Липаев В.В. Выбор и оценивание характеристик качества программных средств. Методы и стандарты / В. В. Липаев, 2001. - 224 с. - Текст : непосредственный.Агафонов В.Н. Спецификация программ: понятийные средства и их организация / В. Н. Агафонов, 1990. - 223 с. - Текст : непосредственный.Orzan S.M. Distributing requirements specifications on Basic Splice / S. M. Orzan, 2001. - 14 p. - Текст : непосредственный.Стивенс Р. Тестирование и отладка программ на Visual Basic / Р. Стивенс, 2001. - 378 с. - Текст : непосредственный.Посыпкин М.А. Применение формальных методов для тестирования компиляторов : специальность 05.19.11 "" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / М. А. Посыпкин, 2004. - 22 c. - Текст : непосредственный.Semantics and algebraic specification / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный.ISSTA'09 : материалы временных коллективов / International symposium on software testing & analysis (2009 ; Chicago, Il), 2009. - 1 o=электрон. опт. диск (CD-ROM). - Текст : электронный.Юрченко В.В. Функциональные сети / В. В. Юрченко ; Ред. В. А. Геловани, 1992. - 183 с. - Текст : непосредственный.Голубев А.А. Методики создания и внедрения агентов в прикладное и системное программное обеспечение для автоматизации тестирования и мониторинга встроенных вычислительных систем : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : диссертация на соискание ученой степени канд. техн. наук / А. А. Голубев, 2007. - 18 с. - Текст : непосредственный.Вигура А.Н. Модели и методы тестирования программных систем на основе алгебраического подхода / А. Н. Вигура, 2013. - 24 с. - Текст : непосредственный.Reissenberger W. CDL-eine Logik fur unendliche nebenlaufige Systeme / W. Reissenberger, 1998. - 114 S. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽