標(biāo)題: Titlebook: System Analysis and Modeling: Models and Reusability; 8th International Co Daniel Amyot,Pau Fonseca i Casas,Gunter Mussbacher Conference pr [打印本頁] 作者: MOTE 時(shí)間: 2025-3-21 18:10
書目名稱System Analysis and Modeling: Models and Reusability影響因子(影響力)
書目名稱System Analysis and Modeling: Models and Reusability影響因子(影響力)學(xué)科排名
書目名稱System Analysis and Modeling: Models and Reusability網(wǎng)絡(luò)公開度
書目名稱System Analysis and Modeling: Models and Reusability網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱System Analysis and Modeling: Models and Reusability被引頻次
書目名稱System Analysis and Modeling: Models and Reusability被引頻次學(xué)科排名
書目名稱System Analysis and Modeling: Models and Reusability年度引用
書目名稱System Analysis and Modeling: Models and Reusability年度引用學(xué)科排名
書目名稱System Analysis and Modeling: Models and Reusability讀者反饋
書目名稱System Analysis and Modeling: Models and Reusability讀者反饋學(xué)科排名
作者: opinionated 時(shí)間: 2025-3-21 23:14 作者: 閑逛 時(shí)間: 2025-3-22 04:26
Amine El Kouhen,Abdelouahed Gherbi,Cédric Dumoulin,Pierre Boulet,Sébastien Gérardnd values. Framed in this way, the chapters of the book are grouped into three different sections—on the metatheoretical frames that orient the very idea of sociological knowledge, on the dispute over whether the search for social mechanisms can properly organize sociological research, and on the in作者: ENACT 時(shí)間: 2025-3-22 08:10
Havva Gülay Gürbüz,Nagehan Pala Er,Bedir Tekinerdogan-students-as-radicals proposition may be properly tested. It is possible to draw some tentative inferences on this question from the occasional surveys of LSE students that have been conducted on several past occasions, but these are necessarily relevant only for the time when they were taken. There作者: optional 時(shí)間: 2025-3-22 09:37
Joachim Denil,Maris Jukss,Clark Verbrugge,Hans Vangheluweflattering portraits in plays and films: Edward Albee’s .; Simon Gray’s .; or Willy Russell’s .. ., David Mamet’s play and film about sexual harassment in a university, is famous for its moral ambiguity of the respective responsibilities of the professor and the student for the relationship that dev作者: remission 時(shí)間: 2025-3-22 15:17
Sabine Winetzhammer,Joel Greenyer,Matthias Tichyrd, 1966). Heraud’s (1970, 1979, 1981) attempts to develop a comprehensive sociological account of social work alongside other caring professions has met with limited success. Peter Day (1981, 1987) followed suit but has similarly failed to capture the imagination of either sociologists or social wo作者: 熱心 時(shí)間: 2025-3-22 17:45
Man Zhang,Tao Yue,Shaukat Ali,Huihui Zhang,Ji Wurd, 1966). Heraud’s (1970, 1979, 1981) attempts to develop a comprehensive sociological account of social work alongside other caring professions has met with limited success. Peter Day (1981, 1987) followed suit but has similarly failed to capture the imagination of either sociologists or social wo作者: 諷刺滑稽戲劇 時(shí)間: 2025-3-22 21:34
Mohamed Mussa,Ferhat Khendek of the relationship between clinical sociologist and client, and whether or not the client is an individual or a group. The second section, which deals with how clinical sociologists are organising themselves, is primarily focused on the process of professionalisation which has started in the Unite作者: demote 時(shí)間: 2025-3-23 05:01
Delcino Picinin Júnior,Cristian Koliver,Celso A. S. Santos,Jean-Marie Farines do not want to consider further the specifics of charges of bias, but to develop the sketch of broader issues of objectivity. This helps in looking forward: if sociology is to be seen as ‘in action’ it needs the confidence to assert that it is objective and not just a jumble of competing and incomm作者: Barrister 時(shí)間: 2025-3-23 05:59
Julien Deltour,Alain Faivre,Emmanuel Gaudin,Arnault Lapitrepresence within academia, and within state agencies, corporations and consulting agencies, and NGOs.This work will appeal to social scientists and students interested in the relations between academia and politics, and to a general readership interested in the recent history of Argentina and Latin-A作者: 鋼筆記下懲罰 時(shí)間: 2025-3-23 09:56 作者: 聯(lián)想記憶 時(shí)間: 2025-3-23 16:03
Alexander Kraasntribution to the sociological history of sociology and the development of a reflective historical sociology, and will appeal to students and scholars of social theory, as well as readers interested in the history of Contemporary Belgium..978-1-137-55663-9Series ISSN 2947-5023 Series E-ISSN 2947-5031 作者: 傷心 時(shí)間: 2025-3-23 19:26 作者: 缺陷 時(shí)間: 2025-3-24 00:41
Daniel Liabeuf,Xavier Le Pallec,José Rouillardm, postmodernism, and postcolonialism) provides a way for interpretive sociology to provide analytically sound, theoretically extensive, and empirically rich understandings of social life..978-3-031-18359-1978-3-031-18357-7Series ISSN 2946-3572 Series E-ISSN 2946-3580 作者: Calibrate 時(shí)間: 2025-3-24 04:58 作者: 手銬 時(shí)間: 2025-3-24 07:06
Wei Dou,Domenico Bianculli,Lionel Briand and NGOs.This work will appeal to social scientists and students interested in the relations between academia and politics, and to a general readership interested in the recent history of Argentina and Latin-A978-3-030-63520-6Series ISSN 2947-5023 Series E-ISSN 2947-5031 作者: 四目在模仿 時(shí)間: 2025-3-24 12:33
Lukas M?urer,Tanja Hebecker,Torben Stolte,Michael Lipaczewski,Uwe M?hrst?dt,Frank Ortmeier作者: single 時(shí)間: 2025-3-24 15:22
Shaukat Ali,Tao Yue,Muhammad Zohaib Iqbal,Rajwinder Kaur Panesar-Walawege作者: Exclude 時(shí)間: 2025-3-24 22:16 作者: Irrigate 時(shí)間: 2025-3-25 01:53 作者: 導(dǎo)師 時(shí)間: 2025-3-25 05:33
Architecture Framework for Software Safetyeveloped after a thorough domain analysis. The framework includes three coherent viewpoints, each of which addressing an important concern. The application of the viewpoints is illustrated for an industrial case of safety-critical avionics control computer system.作者: COST 時(shí)間: 2025-3-25 11:16 作者: 盡責(zé) 時(shí)間: 2025-3-25 14:42 作者: Ornament 時(shí)間: 2025-3-25 19:51 作者: 破裂 時(shí)間: 2025-3-25 23:11
Revisiting Model-Driven Engineering for Run-Time Verification of Business Processese using a domain-specific language; 2)?transforming such properties in a format that can leverage state-of-the-art, industrial-strength tools in order to check these properties; 3)?integrating such property checker in run-time verification engines, specific to a target run-time platform, without use作者: 冷淡周邊 時(shí)間: 2025-3-26 01:39 作者: 敵意 時(shí)間: 2025-3-26 06:47
SDL Implementations for Wireless Sensor Networks – Incorporation of PragmaDev’s RTDS into the Determ BiPS. Therefore, we have modified and extended the RTDS transition scheduler, and have placed it under the control of the BiPS scheduler. Furthermore, based on RTDS concepts, we have implemented an SDL environment that can access BiPS functionality, e.g., protocols of the MAC layer or hardware devi作者: Adulterate 時(shí)間: 2025-3-26 12:12
BVR – Better Variability Resultsg. We show how the industrial needs are in fact quite general and that general mechanisms can be used to satisfy them. BVR is built on the OMG Revised Submission of CVL (Common Variability Language), but is simplified and enhanced relative to that language.作者: Forage飼料 時(shí)間: 2025-3-26 16:16 作者: 否認(rèn) 時(shí)間: 2025-3-26 19:48 作者: 厚顏 時(shí)間: 2025-3-27 00:18
Toward a UCM-Based Approach for Recovering System Availability Requirements from Execution Traces of time understanding the software system functional attributes and non-functional (e.g., availability, security, etc.) aspects prior to performing a maintenance task. In this paper, we propose a dynamic analysis approach to recover availability requirements from system execution traces. Availabili作者: calorie 時(shí)間: 2025-3-27 02:42
Architecture Framework for Software Safetyl system is defined as a system in which malfunctioning software could result in death, injury or damage to environment. To mitigate these serious risks, the architecture of safety-critical systems needs to be carefully designed and analyzed. A common practice for modeling software architecture is t作者: bleach 時(shí)間: 2025-3-27 08:07
Search-Based Model Optimization Using Model Transformationseria, by searching through a space of possible solution designs. Search-Based Optimization (SBO) is a well-known technique for design-space exploration and optimization. Model-Driven Engineering (MDE) offers many benefits for creating a general approach to SBO, through a suitable problem representat作者: commune 時(shí)間: 2025-3-27 12:35
Associativity between Weak and Strict Sequencingly start their participation in the collaboration, or terminate their participation. We consider a global workflow that is composed out of several sub-collaborations which should be executed in a specified order. For sequential execution, strict and weak sequencing have been defined. With strict seq作者: 注意到 時(shí)間: 2025-3-27 16:01 作者: adulterant 時(shí)間: 2025-3-27 20:16 作者: 貞潔 時(shí)間: 2025-3-27 22:56 作者: 新義 時(shí)間: 2025-3-28 04:20 作者: 符合國情 時(shí)間: 2025-3-28 07:40 作者: 上釉彩 時(shí)間: 2025-3-28 10:59
Revisiting Model-Driven Engineering for Run-Time Verification of Business Processeseractions with partner services comply with the application requirements. Despite the substantial research performed in this area, there are very few approaches that leverage model-driven engineering (MDE) methodologies and integrate them in the development process of applications based on business 作者: CLASH 時(shí)間: 2025-3-28 16:03
Model-Based Testing: An Approach with SDL/RTDS and DIVERSITYmodeling environment Real Time Developer Studio (RTDS). The resulting environment aims to extend RTDS with a Model-Based Testing approach. After briefly describing the characteristics of RTDS and DIVERSITY, this paper presents the work done to integrate these two environments. Then, it highlights th作者: gastritis 時(shí)間: 2025-3-28 21:02 作者: 注射器 時(shí)間: 2025-3-28 23:47 作者: olfction 時(shí)間: 2025-3-29 03:23 作者: 粗糙濫制 時(shí)間: 2025-3-29 10:32
Towards an Extensible Modeling and Validation Framework for SDL-UML years, but only a small set of SDL tools is available. In contrast, a wide range of different kinds of tools can be used for various purposes, such as model transformation, for the Unified Modeling Language (UML). The UML profile for SDL (SDL-UML) makes it possible to specify SDL compliant models i作者: theta-waves 時(shí)間: 2025-3-29 15:19 作者: grenade 時(shí)間: 2025-3-29 16:18 作者: 是貪求 時(shí)間: 2025-3-29 20:18 作者: Slit-Lamp 時(shí)間: 2025-3-30 03:42
Model-Based Testing: An Approach with SDL/RTDS and DIVERSITYxisting coverage criteria in the integrated generation of test cases. It concludes with the open strategy of the PragmaList approach to work together with industrial actors based on the definition and integration of new specific coverage criteria consistent with their validation constraints.作者: JAUNT 時(shí)間: 2025-3-30 07:05 作者: 樹木中 時(shí)間: 2025-3-30 10:14
Towards an Extensible Modeling and Validation Framework for SDL-UMLation of models that are compliant to Z.109, is presented. As an additional feature, the SU-MoVal framework also provides an editor for the specification of a textual notation that is mapped to corresponding SDL-UML elements.作者: 無關(guān)緊要 時(shí)間: 2025-3-30 12:34 作者: 性冷淡 時(shí)間: 2025-3-30 19:10
Acceptance Test Optimizationstem with test stubs emulating system components and therefore cannot be substituted to acceptance test cases. In this paper, we propose an approach that maps acceptance test cases to integration test cases and eliminates test cases that have already been exercised on the system during the integration testing phase.作者: Nebulous 時(shí)間: 2025-3-30 22:36 作者: Motilin 時(shí)間: 2025-3-31 01:09
Toward a UCM-Based Approach for Recovering System Availability Requirements from Execution Tracescution traces. The resulting availability UCM models can then be analyzed to reveal system availability shortcomings. In order to illustrate and demonstrate the feasibility of the proposed approach, we apply it to a case study of a network implementing the HSRP (Hot Standby Router Protocol) redundancy protocol.作者: opportune 時(shí)間: 2025-3-31 08:21 作者: 社團(tuán) 時(shí)間: 2025-3-31 12:20
Insights on the Use of OCL in Diverse Industrial Applicationsblems. Second, we report the key results of the industrial application of OCL. Finally, we provide guidance to researchers and practitioners for choosing an appropriate meta level and purpose for their specific industrial problem at hand.作者: Panther 時(shí)間: 2025-3-31 15:29 作者: Intruder 時(shí)間: 2025-3-31 17:37 作者: Palate 時(shí)間: 2025-3-31 23:59 作者: amenity 時(shí)間: 2025-4-1 05:17
0302-9743 selected from 71 submissions. The contributions are organized in topical sections named: reuse; availability, safety and optimization; sequences and interactions; testing; metrics, constraints and repositories; and SDL and V&V..978-3-319-11742-3978-3-319-11743-0Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: 亞當(dāng)心理陰影 時(shí)間: 2025-4-1 08:11 作者: Harbor 時(shí)間: 2025-4-1 13:28
