... Software architecture modeling is considered. This paper contains the software architecture definition, the goals of its application to the software development. Existing software architecture modeling approaches and formal methods of analysis and design are discussed; further perspectives of software architecture modeling researches are outlined. PostScript (in Russian) (1.99MB) . PDF (in Russian) (731йB) . PostScript. zip (in Russian) (162йB) . PDF. zip (in Russian) (230йB) . ...

Еще в разделе: (Показать все результаты (>130) - num-meth.srcc.msu.ru/ )

Электронная библиотека . ... Главная Ex Libris Книги Журналы Статьи Серии Каталог Wanted Загрузка ХудЛит Справка Поиск по индексам Поиск . ... Поиск по указателям . Результат поиска . Книга . Страницы для поиска . ... Электронная библиотека попечительского совета мехмата МГУ , 2004-2016 . ...

Еще в разделе: (Показать все результаты (>7123) - lib.mexmat.ru/ )

• Bank R.E. - PLTMG: A Software Package for Solving Elliptic Partial Differential
• Bjorner D. - Software Engineering 3 :: Электронная библиотека попечительского
• Hu?mann H. - Formal Foundations for Software Engineeing Methods :: Электронная

Appendix€аC.€а GNU Free Documentation License . ... COMBINING DOCUMENTS . ... ADDENDUM: How to use this License for your documents . ... This License is a kind of тАЬ copyleft тАЭ, which means that derivative works of the document must themselves be free in the same sense. ... We have designed this License in order to use it for manuals for free software, because free software needs free documentation: a free program should come with manuals providing the same freedoms that the software does. ...

Еще в разделе: (Показать все результаты (>2316) - uneex.lorien.cs.msu.su/ )

• HelpOnLists - UNИX
• Converting Modules from Apache 1.3 to Apache 2.0 - Apache HTTP Server
• HelpOnGroups - UNИX

previous next contents elements attributes . ... Definitions . ... User agent . A user agent is any device that interprets HTML documents. ... User agents should continue to support deprecated elements for reasons of backward compatibility. ... An obsolete element or attribute is one for which there is no guarantee of support by a user agent. ... Element and attribute names are marked within the source HTML for the specification and may be rendered specially depending on your user agent. ...

Еще в разделе: (Показать все результаты (>552) - itpm.msu.su/ )

• HTML 4.0 Frameset Document Type Definition
• Converting Modules from Apache 1.3 to Apache 2.0 - Apache HTTP Server
• SGML reference information for HTML

... Content Model: Optional list header (LH), followed by one or more terms (DT) and definitions (DD). A definition list is a list of terms and corresponding definitions. Definition lists are typically formatted with the term on the left with the definition following on the right or on the next line. ... The definition list element can take the COMPACT attribute, which suggests that a compact rendering be used, and is appropriate if the list elements are small and/or the entire list is large. ...

Еще в разделе: (Показать все результаты (>85) - comet.sai.msu.ru/ )

• Acknowledgments

... DEPEND= ${RDEPEND} dev-ml/ocamlbuild src _compile() { ocaml pkg/ build .ml \ native=$(usex ocamlopt true false) \ native-dynlink=$(usex ocamlopt true false) \ || die } src _install() { # Can't use opam-installer here as it is an opam dep... findlib_ src _preinst local nativelibs = use ocamlopt nativelibs = $(echo _ build / src / cmdliner.cm {x,xa,xs} _ build / src / ...

Еще в разделе: (Показать все результаты (>15719) - mirror.msu.net/ )

• http://mirror.msu.net/pub/rfc-editor/rfc-ed-all/mibs/private.mibs/scc-raid7-proxy-mib-v1-0.txt
• http://mirror.msu.net/pub/rfc-editor/rfc-ed-all/mibs/private.mibs/fibermux.txt
• http://mirror.msu.net/pub/rfc-editor/rfc-ed-all/pdfrfc/rfc4617.txt.pdf

... 22/042008 15:16 edneral 22/042008 15:15 edneral 05/032008 10:33 edneral 31/012008 17:54 edneral 14/012008 15:14 admin 14/012008 15:11 admin Links to calg:calg changed to calg:main 14/012008 15:08 kryukov 14/012008 15:08 kryukov 16/112007 12:49 kryukov 16/112007 12:47 kryukov 16/112007 12:45 kryukov 16/112007 12:43 kryukov 19/042007 10:49 kryukov 14/032007 13:15 kryukov 11/012007 09:04 kryukov 13/122006 12:34 kryukov 13/122006 12:34 kryukov 13/122006 12:33 kryukov 10/102006 18:26 kryukov Go . ...

Еще в разделе: (Показать все результаты (>14165) - theory.sinp.msu.ru/ )

• rfbr:rest:jobschema [THEP]
• fcp:rest:jobschema [THEP]
• Definition of a model in CompHEP

. [ Войти ] . Главная -> Фильмы -> The Definition of Insanity . Пользователи . Демо . Деньги . Фильмы . Форум . The Definition of Insanity . Швейцария - США 2004 . отметить . Комедия . Драма .

Еще в разделе: (Показать все результаты (>34) - kinfo.ru/ )

... This is the HTML 4.0 Frameset DTD, which should be used for documents with frames. ... ENTITY % HTML.Version "-//W3C//DTD HTML 4.0 Frameset//EN" -- Typical usage: <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Frameset//EN" "http://www.w3.org/TR/REC-html40/frameset.dtd"> <html> <head> ... </head> <frameset> ... </frameset> </html> --> <!ENTITY % HTML.Frameset "INCLUDE"> <!ENTITY % HTML4.dtd PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN"> %HTML4.dtd; . ...

Еще в разделе: (Показать все результаты (>1609) - crydee.sai.msu.ru/ )

• Long description for the illustration of a pixel's definition
• Dynamic HTML in Communicator
• SGML reference information for HTML

Support ] [ Links to DC resistivity and IP software in WWW ] . ... TRF_2D for Windows - Automated 2D Inversion Program for VES Travers Data. ... The scientists of the laboratory are developing algorithms and computer programs for decision of forward and inverse problems of resistivity and induced polarization methods, which are widely known in Russia and are applied in many countries abroad. ... IE2DL - the set of the programs for resistivity and IP data modeling in 2D inhomogeneous media . ...

Еще в разделе: (Показать все результаты (>43) - geophys.geol.msu.ru/ )

• Links of engineering geophysics and software
• Anis. Page2

XML-RPC HOWTO . Prev . ... XML-RPC vs. Other Protocols . Next . CORBA is a popular protocol for writing distributed, object-oriented applications. It's typically used in multi-tier enterprise applications. ... CORBA is well-supported by many vendors and several free software projects. CORBA works well with Java and C++, and is available for many other languages. ... It's better-suited to enterprise and desktop applications than it is to distributed web applications. ...

Еще в разделе: (Показать все результаты (>468) - rtm-cs.sinp.msu.ru/ )

• Qt Toolkit - qwindowdefs.h include file
• Modules
• Qt Tutorial - Chapter 10

Each Apache configuration directive is described using a common format that looks like this: . Syntax: directive-name some args . ... Context: context-list . ... If the directive has a default value ( i.e. , if you omit it from your configuration entirely, the Apache Web server will behave as though you set it to a particular value), it is described here. ... A directive marked as being valid in this context may be used inside <Directory> containers in the server configuration files.htaccess . ...

Еще в разделе: (Показать все результаты (>184) - oit.cmc.msu.ru/ )

• make_smbcodepage (1)
• Часть VII - Литература
• Mohawk Software session handler functions

Each Apache module is described using a common format that looks like this: . Status: status . ... This indicates how tightly bound into the Apache Web server the module is; in other words, you may need to recompile the server in order to gain access to the module and its functionality. ... A module with "Extension" status is not normally compiled and loaded into the server. ... Modules which are not included with the base Apache distribution ("third-party modules") may use the "External" status. ...

Еще в разделе: (Показать все результаты (>43) - neptun.sai.msu.ru/ )

• Definitions of terms used to describe Apache directives
• Source Re-organisation

... О UNИX . ... Lists . ... All you do is indent the line containing the list item with at least one space. To nest lists of different levels, you use different depths of indenting. ... A numbered list, mixed with bullets: 1. one 1. two 1. one * bullet 1 * bullet 2 1. two 1. three * bullet 1. one Variations of numbered lists: * Lowercase roman i. one i. two * Uppercase roman (with start offset 42) I.#42 forty-two I. forty-three * Lowercase alpha a. one a. two * Uppercase alpha A. one A. two . ...

Еще в разделе: (Показать все результаты (>1103) - uneex.mithril.cs.msu.su/ )

• HelpOnGroups - UNИX
• HelpOnDictionaries - UNИX

... A form definition consists of a TWiki::Form object, which has a list of field definitions. Each field definition is an object of a type derived from TWiki::Form::FieldDefinition. ... Extract new values for form fields from a query. $query - the query . ... Returns the number of fields which had values provided by the query, and a references to an array of the names of mandatory fields that were missing from the query. $name - name of a form field (value of the name attribute) . ...

Еще в разделе: (Показать все результаты (>29662) - dualopt1.cmm.msu.ru/ )

• TWikiFormDotPm - TWiki - TWiki
• %TOPICTITLE% (4 vs. 5) - TWiki
• %TOPICTITLE% (2 vs. 3) - TWiki

... About Trac . Wiki . ... wiki: WikiFormatting . ... Trac has a built in small and powerful wiki rendering engine. ... Display: . ... and `...` commands not only select a monospace font, but also treat their content as verbatim text, meaning that no further wiki processing is done on this text. ! ... Example: * Item 1 * Item 1.1 * Item 1.1.1 * Item 1.1.2 * Item 1.1.3 * Item 1.2 * Item 2 1. ... Cell 1|| ... Image(wiki:WikiFormatting:picture.gif)]] (referring to attachment on another page) . ...

Еще в разделе: (Показать все результаты (>4799) - kodomo.cmm.msu.ru/ )

• InterWiki тАУ Tanchiki
• InterMapTxt тАУ Tanchiki
• InterTrac тАУ Tanchiki

Lessons learned from the Thirty Meter Telescope site testing Tony Travouillon Sebastian Els, Angel Otarola, Reed Riddle, Matthias Schoeck, Warren Skidmore TMT.XXX.PRE.05.0XX.DRF01 1 Introduction TMT and its Site testing. Important choice before going on site. ... Considerations during analysis of the data. TMT.XXX.PRE.05.0XX.DRF01 2 Some Background about the TMT Site Testing TMT is a 30m, segmented, RitcheyChretien telescope design. ... ASCA Cloud Cover Analysis So how do we do it in practice? ...

Еще в разделе: (Показать все результаты (>11) - site2010.sai.msu.ru/ )

• http://site2010.sai.msu.ru/static/doc/ATokovinin_site2010.pdf

... Software . Laboratory of Mathematical Methods of Image Processing . ... Available options: -sigma - (mandatory) set blur parameter for the input image , range: 1.0 to 20.0 - power - set warping power , range: 0.0 to 5.0, default value is 1.0 -1d - apply one-dimensional algorithm (faster but lower quality) basicedges - detect basic edges - edges good for artifact analysis -scale - set scale parameter, range: 1.0 to 20.0, default value is 4.0 gaussblur - blur input ... warp.png . ...

Еще в разделе: (Показать все результаты (>515) - imaging.cmc.msu.ru/ )

• Laboratory of Mathematical Methods of Image Processing
• Publications | Laboratory of Mathematical Methods of Image Processing

... Alternative core new atoms (%) . ... An alignment of a set of structures is a set of positions , to each position some atoms from different structures correspond. ... Geometrical core of a set of structures is a subset of alignment positions those atoms are disposed similarly in all structures. ... For any two positions included into geometrical core, the distances between CA atoms of those positions in all structures may differ not more than the value of the parameter "Distance spreading". ...

Еще в разделе: (Показать все результаты (>6940) - mouse.belozersky.msu.ru/ )

• MTPro

... Softw , Programming and Computer Software.- ... Belevantsev A.A. , Veselevich E.A. , Ivannikov V.P. в журнале Programming and Computer Software , издательство Consultants Bureau (United States) , том 42, ? ... Adjemov S.S. , Klenov N.V. , Tereshonok M.V. , Chirov D.S. в журнале Programming and Computer Software , издательство Consultants Bureau (United States) , том 42, ? ... Panferov A.A. в журнале Programming and Computer Software , издательство Consultants Bureau (United States) , том 41, ? ...

Еще в разделе: (Показать все результаты (>222) - istina.msu.ru/ )

• Advances in Engineering Software - журнал | ИСТИНА - Интеллектуальная Система
• Optimization Methods and Software - журнал | ИСТИНА - Интеллектуальная Система
• Environmental Modelling and Software - журнал | ИСТИНА - Интеллектуальная