標(biāo)題: Titlebook: Integration of Software Specification Techniques for Applications in Engineering; Priority Program Sof Hartmut Ehrig,Werner Damm,Engelbert [打印本頁] 作者: nourish 時(shí)間: 2025-3-21 17:56
書目名稱Integration of Software Specification Techniques for Applications in Engineering影響因子(影響力)
書目名稱Integration of Software Specification Techniques for Applications in Engineering影響因子(影響力)學(xué)科排名
書目名稱Integration of Software Specification Techniques for Applications in Engineering網(wǎng)絡(luò)公開度
書目名稱Integration of Software Specification Techniques for Applications in Engineering網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Integration of Software Specification Techniques for Applications in Engineering被引頻次
書目名稱Integration of Software Specification Techniques for Applications in Engineering被引頻次學(xué)科排名
書目名稱Integration of Software Specification Techniques for Applications in Engineering年度引用
書目名稱Integration of Software Specification Techniques for Applications in Engineering年度引用學(xué)科排名
書目名稱Integration of Software Specification Techniques for Applications in Engineering讀者反饋
書目名稱Integration of Software Specification Techniques for Applications in Engineering讀者反饋學(xué)科排名
作者: WAIL 時(shí)間: 2025-3-21 22:30
Hartmut Ehrig recent review paper entitled "Buckling of Shells - Pitfall for DeSigners": "To the layman buckling is a mysterious, perhaps even awe inspiring phenomenon that transforms objects originally imbued with symmetrical beauty into junk".978-3-642-49336-2978-3-642-49334-8作者: 無法解釋 時(shí)間: 2025-3-22 02:17
Engelbert Westk?mper,Matthias Bengel,Katja Fischer recent review paper entitled "Buckling of Shells - Pitfall for DeSigners": "To the layman buckling is a mysterious, perhaps even awe inspiring phenomenon that transforms objects originally imbued with symmetrical beauty into junk".978-3-642-49336-2978-3-642-49334-8作者: mediocrity 時(shí)間: 2025-3-22 05:51 作者: 媽媽不開心 時(shí)間: 2025-3-22 11:51
Ingolf Krüger,Wolfgang Prenninger,Robert Sandner,Manfred Broyd. A method is given to determine the optimum span length of a beam and the size of bracket to be fitted at both ends. The influence of the type of end support on the magnitude and distribution of the bending moment are presented. Bending stresses in beams constructed with high tensile steel. Flexur作者: 群島 時(shí)間: 2025-3-22 13:59 作者: 無所不知 時(shí)間: 2025-3-22 18:16 作者: sacrum 時(shí)間: 2025-3-22 21:23
Eckehard Schniederthe assumption that loads are linearly dependent on wave height. Depending on the loading condition of the vessel, the still-water bending moments and shear forces are determined using the published rules of classification societies. A more detailed analysis is required when determining the dynamic 作者: Madrigal 時(shí)間: 2025-3-23 03:46
Frank H?nsel,Jan Poliak,Roman Slovák,Eckehard Schniedercial support for the symposium was provided by IUTAM, in the form of partial travel support for a number of participants, and also by the National Science Foundation, the National Aeronautics and Space Administration, and the Air Force Office of Scientific Re- search, for additional travel support and adminis978-3-642-50994-0978-3-642-50992-6作者: irradicable 時(shí)間: 2025-3-23 07:59 作者: Spirometry 時(shí)間: 2025-3-23 13:26 作者: configuration 時(shí)間: 2025-3-23 15:50
Karol Rásto?ny,Ale? Janota,Ji?í Zahradníklf-pollinated accession KK8. The optimal medium for callus induction is Murashige-Skoog basal medium with 3% sucrose which includes hormones 2,4-dichlorophenoxyacetic acid 2?mg/L and kinetin 2?mg/L; for shoot initiation 6-benzylaminopurine 2?mg/L, kinetin 0.2?mg/L, and indole-3-acetic acid 0.2?mg/L;作者: 流利圓滑 時(shí)間: 2025-3-23 19:20 作者: dermatomyositis 時(shí)間: 2025-3-24 01:24
Stephan Flake,Wolfgang Müller,Ulrich Pape,Jürgen Rufovernment.. This goal indirectly led to the appearance of a modified version of the ghetto house, the so-called “Protected house” in November 1944. This protection in theory meant that a certain neutral country got authority over a specific group of Jewish Hungarian people, who were connected to thi作者: BOLUS 時(shí)間: 2025-3-24 05:07 作者: 依法逮捕 時(shí)間: 2025-3-24 08:01
Lars Michael Kristensen,Kurt Jensenons. Recanalization of accessible stenosis is systematically considered and performed with angioplasty or stenting when it is feasible. In patients who do not respond to this first step therapy, transjugular intrahepatic portosystemic shunt is proposed, and as a fourth step, orthotopic liver transpl作者: 啞劇 時(shí)間: 2025-3-24 13:29
J?rg Desel,Hans-Michael Hanisch,Gabriel Juhás,Robert Lorenz,Christian Neumairund Paul Heyses) allm?hlich auslief. Thomas Manns literarische Sozialisation (s. Kap. 5) fiel damit in eine Zeit produktiven Nebeneinanders von sp?trealistischer Tradition, naturalistischen und frühmodernen Tendenzen, wie sie sich in Fin-de-Siècle und Jahrhundertwende neu formierten.作者: Musculoskeletal 時(shí)間: 2025-3-24 17:47 作者: 嘲笑 時(shí)間: 2025-3-24 21:13 作者: gonioscopy 時(shí)間: 2025-3-25 02:15 作者: 沙草紙 時(shí)間: 2025-3-25 05:37
Executable HybridUML and Its Application to Train Control Systemso main advantages: First, semantics can be more easily adapted to syntactic extensions by extending the transformation in an appropriate way. Second, all models are automatically executable, since the low-level language is.作者: 不理會(huì) 時(shí)間: 2025-3-25 11:06
A Guide to Modelling and Control with Modules of Signal Netsnonblocking behavior of the plant respecting the control specification. Finally, we show how to synthesize the controller (as a module of an elementary signal net) forcing the plant to realize the controlled behavior.作者: faddish 時(shí)間: 2025-3-25 13:40
Integration of Software Specification Techniques for Applications in EngineeringPriority Program Sof作者: 相容 時(shí)間: 2025-3-25 17:34
Hartmut Ehrig,Werner Damm,Engelbert Westk?mperIncludes supplementary material: 作者: 財(cái)政 時(shí)間: 2025-3-25 22:35
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/i/image/468880.jpg作者: 使腐爛 時(shí)間: 2025-3-26 03:27 作者: HUMID 時(shí)間: 2025-3-26 07:12 作者: gerrymander 時(shí)間: 2025-3-26 09:05 作者: Comprise 時(shí)間: 2025-3-26 15:48 作者: Abominate 時(shí)間: 2025-3-26 20:06
978-3-540-23135-6Springer-Verlag Berlin Heidelberg 2004作者: 機(jī)密 時(shí)間: 2025-3-27 00:09
Integration of Software Specification Techniques for Applications in Engineering978-3-540-27863-4Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: prostatitis 時(shí)間: 2025-3-27 03:14 作者: progestogen 時(shí)間: 2025-3-27 06:39
Challenges of Next Generation Manufacturing Systemss. The software development needs to produce much more sophisticated artefacts in the future, which requires developers to account for factors that could be ignored in the past. In the future, developers need to widen their view. This chapter describes in which ways they need to enlarge their scope.作者: 大罵 時(shí)間: 2025-3-27 10:57 作者: MUMP 時(shí)間: 2025-3-27 16:09
Reference Case Study “Traffic Control Systems” for Comparison and Validation of Formal Specificationof Traffic Safety and Automation Engineering. A physical railway model demonstrator was designed and developed as a means of comparison and validation for the formal specifications coming from partners involved in the research program.作者: arboretum 時(shí)間: 2025-3-27 20:53 作者: Antioxidant 時(shí)間: 2025-3-28 01:15
Conceptual Design of an Engineering Model for Product and Plant Automation as well as implementational models. The adoption of UML regarding applied diagrams and stereotypes for process automation will be introduced and structured components, an idiom for product automation software development, will be compared to other software engineering notations.作者: judicial 時(shí)間: 2025-3-28 04:14
An Engineer’s Workstation to Support Integrated Development of Flexible Production Control Systemsl flow system which is a major part of a real production system. We show how our modelling approach is used for simulation facilities, code generation for programmable logic controllers, and maintenance purposes.作者: 鑲嵌細(xì)工 時(shí)間: 2025-3-28 09:19 作者: mitten 時(shí)間: 2025-3-28 10:39 作者: 傾聽 時(shí)間: 2025-3-28 15:48 作者: 易于出錯(cuò) 時(shí)間: 2025-3-28 20:36 作者: 流行 時(shí)間: 2025-3-29 00:29
The Use of UML for Development of a Railway Interlocking Systems. Starting from an informal specification we create a semi-formal specification based on the UML model. Within conclusions we resume advantages of the presented approach resulting from practical experiences gained in the project aimed at development of a new computer-based interlocking system.作者: periodontitis 時(shí)間: 2025-3-29 04:23
STOP – Specification Technique of Operational Processeser introduces the approach and the application domain of STOP as well as its technical characteristics. By discussing experiences made in application of STOP the theoretical introduction of STOP is additionally practically substantiated.作者: 食物 時(shí)間: 2025-3-29 07:31 作者: 相互影響 時(shí)間: 2025-3-29 13:18 作者: 殘酷的地方 時(shí)間: 2025-3-29 16:37
Integration of Software Specification Techniques for Applications in Engineering: Introduction and OFG) in the years 1998-2004. Starting with the aims of this priority program, we give an overview of the activities of SoftSpez and the related international workshops INT 2000-2004 and of the results in six different subject areas presented in this volume.作者: CLIFF 時(shí)間: 2025-3-29 22:42
Basic Principles for Software Specificationeans of two reference case studies, that describe typical systems from engineering point of view. One belongs to the area Production Automation. The characteristic aspects of process automation and the realized systems are focused in the case study, including open and closed loop control, real-time 作者: 典型 時(shí)間: 2025-3-30 00:42
Challenges of Next Generation Manufacturing Systemsoftware within manufacturing systems. It does not provide an extensive list of detailed functionalities, but rather discusses generic critical success factors. The common thread is the complex interaction between software development and the techno-socio-economic context in which this activity occur作者: 嬰兒 時(shí)間: 2025-3-30 06:06 作者: 凝結(jié)劑 時(shí)間: 2025-3-30 12:03 作者: 隱藏 時(shí)間: 2025-3-30 12:41 作者: Blanch 時(shí)間: 2025-3-30 19:44 作者: 厭倦嗎你 時(shí)間: 2025-3-30 21:22
Reference Case Study “Traffic Control Systems” for Comparison and Validation of Formal Specificationes were elaborated within the research programme “Integration of Software Specification Techniques for Applications in Engineering”. One of them, coming from the railway transportation control domain and using an example of a radio based level crossing control system, was developed at the Institute 作者: pacifist 時(shí)間: 2025-3-31 02:41 作者: 小母馬 時(shí)間: 2025-3-31 07:12 作者: 瑣碎 時(shí)間: 2025-3-31 09:16 作者: 一加就噴出 時(shí)間: 2025-3-31 15:50 作者: 值得 時(shí)間: 2025-3-31 20:14
Specification and Formal Verification of Temporal Properties of Production Automation Systems graphical MFERT notation and RT-OCL (Real-Time Object Constraint Language) for the specification of state-oriented real-time properties. RT-OCL is an extension of the Object Constraint Language (OCL) that is part of the Unified Modeling Language (UML). We introduce the formal semantics of RT-OCL ba作者: 暗語 時(shí)間: 2025-4-1 01:43 作者: Altitude 時(shí)間: 2025-4-1 04:57
