標(biāo)題: Titlebook: Evaluation of Novel Approaches to Software Engineering; 7th International Co Leszek A. Maciaszek,Joaquim Filipe Conference proceedings 2013 [打印本頁] 作者: vitamin-D 時間: 2025-3-21 19:40
書目名稱Evaluation of Novel Approaches to Software Engineering影響因子(影響力)
書目名稱Evaluation of Novel Approaches to Software Engineering影響因子(影響力)學(xué)科排名
書目名稱Evaluation of Novel Approaches to Software Engineering網(wǎng)絡(luò)公開度
書目名稱Evaluation of Novel Approaches to Software Engineering網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Evaluation of Novel Approaches to Software Engineering被引頻次
書目名稱Evaluation of Novel Approaches to Software Engineering被引頻次學(xué)科排名
書目名稱Evaluation of Novel Approaches to Software Engineering年度引用
書目名稱Evaluation of Novel Approaches to Software Engineering年度引用學(xué)科排名
書目名稱Evaluation of Novel Approaches to Software Engineering讀者反饋
書目名稱Evaluation of Novel Approaches to Software Engineering讀者反饋學(xué)科排名
作者: 使聲音降低 時間: 2025-3-21 20:15 作者: SEVER 時間: 2025-3-22 01:42 作者: 沒有準(zhǔn)備 時間: 2025-3-22 05:12 作者: 愉快么 時間: 2025-3-22 12:13
Detection of Infeasible Paths: Approaches and Challengesgrams have an infinite number of these paths. Regardless of the quality of the program and the programming language used to develop it, in general, a sizable number of these paths are infeasible—that is no input can exercise them. Detection of these infeasible paths has a key impact in many software作者: 眼界 時間: 2025-3-22 16:41
A Formal Monitoring Technique for SIP Conformance Testing sets of these approaches. Compare to active testing, passive testing techniques are used whenever the system cannot be interrupted, or its interfaces are unavailable to access. Under such conditions, communication traces are extracted from points of observation and compared with the expected confor作者: 眼界 時間: 2025-3-22 20:56
Unified Modeling of Static Relationships between Program Elementshe programming language or paradigm, these program elements are functions, variables, classes, methods, etc. The primary models are then used for different analysis purposes such as: impact analysis, modularization analysis, refactoring decisions, architectural reconstruction. Particularities of the作者: 規(guī)章 時間: 2025-3-22 22:45
Social Adaptation at Runtimeriven by changes in the system internally and its operational environment. An adaptive system has to monitor and analyse such changes and, if needed, switch to the right behaviour to meet its requirements. In this paper, we advocate another essential driver for adaptation which is the collective jud作者: Lymphocyte 時間: 2025-3-23 03:38 作者: 哀求 時間: 2025-3-23 08:15 作者: Awning 時間: 2025-3-23 10:37 作者: 審問,審訊 時間: 2025-3-23 15:14
Dynamic Symbolic Execution Guided by Data Dependency Analysis for High Structural Coverageining mechanism to (1) extract precise guidance to direct dynamic symbolic execution towards exploring uncovered code elements and (2) meanwhile significantly optimize the path exploration process. Preliminary experiments conducted to evaluate the performance of the proposed approach have shown very encouraging results.作者: Accomplish 時間: 2025-3-23 18:22 作者: 難管 時間: 2025-3-24 01:43 作者: tangle 時間: 2025-3-24 05:44 作者: explicit 時間: 2025-3-24 09:32
Conference proceedings 2013g, ENASE 2012, held in Wroclaw, Poland, in June 2012. The 11 full papers presented were carefully reviewed and selected from 54 submissions. The papers cover various topics in software engineering and focus on the comparison of novel approaches with established traditional practices and by evaluatin作者: amplitude 時間: 2025-3-24 12:34
Christian Gerthsen,Max Pollermannal models are considered: the graph-based model and the combinatorial model. The extensions enable a straightforward application of a wide range of existing algorithms. The paper also describes a system that implements chosen service selection algorithms together with appropriate extensions for interoperability analysis.作者: Outshine 時間: 2025-3-24 16:37
Wolfgang Kornd?rfer,Leonhard Peezining event logs from non-process-aware systems. The event correlation algorithm is applied to the events dataset collected at runtime to discover the best correlation conditions. Event logs are then built using such conditions. The applicability of the proposal is demonstrated through a case study with a real-life system.作者: IRATE 時間: 2025-3-24 19:00
https://doi.org/10.1007/978-3-663-14166-2roach to requirements-driven adaptation that gives the collective judgement of users, inferred from their individual feedback, a primary role in planning and guiding adaptation. We apply our approach on a case study and report on the results.作者: ascend 時間: 2025-3-25 02:26 作者: Texture 時間: 2025-3-25 04:56
Correlation of Business Activities Executed in Legacy Information Systemsining event logs from non-process-aware systems. The event correlation algorithm is applied to the events dataset collected at runtime to discover the best correlation conditions. Event logs are then built using such conditions. The applicability of the proposal is demonstrated through a case study with a real-life system.作者: 商店街 時間: 2025-3-25 07:36 作者: 邊緣帶來墨水 時間: 2025-3-25 14:01 作者: 嚙齒動物 時間: 2025-3-25 17:54
Einführung in das Thema Schlüsselkompetenzens in order to check them on real execution traces. A prototype is developed and experienced based on the algorithms defined in a previous paper. Experiments are presented through a set of IMS/SIP properties and numerous execution traces in order to evaluate and assess our technique. The relevant verdicts and discussions are provided at the end.作者: ear-canal 時間: 2025-3-25 21:44 作者: 熔巖 時間: 2025-3-26 03:52 作者: PURG 時間: 2025-3-26 07:59 作者: inculpate 時間: 2025-3-26 10:18
An Agent Oriented Development Process for Multimedia Systems,hat provides support to this process is introduced. Both the process and its supporting tool are used in a simple example which demonstrates the suitability of the approach for multimedia prototype development.作者: Terminal 時間: 2025-3-26 16:32 作者: HAVOC 時間: 2025-3-26 19:27
Einführung in das Materialmanagementining mechanism to (1) extract precise guidance to direct dynamic symbolic execution towards exploring uncovered code elements and (2) meanwhile significantly optimize the path exploration process. Preliminary experiments conducted to evaluate the performance of the proposed approach have shown very encouraging results.作者: Ventilator 時間: 2025-3-26 21:53 作者: aggrieve 時間: 2025-3-27 05:11
Die Erden: Aluminium und Chrom, We report the benefits of courteous logic based representations for handling inconsistencies in software requirements and take into account views of multiple stakeholders and the presuppositions. We show how courteous logic based representations can be used to ensure consistency as well as to uncover presuppositions in the requirements.作者: Scintillations 時間: 2025-3-27 06:46
Einführung in das Materialmanagementograms, its scalability however is limited due to the combinatorial explosion of the path space. We propose to take advantage of data flow analysis to better perform dynamic symbolic execution in the context of generating test inputs for maximum structural coverage. In particular, we utilize the cha作者: 增強 時間: 2025-3-27 11:12 作者: Budget 時間: 2025-3-27 16:51 作者: invulnerable 時間: 2025-3-27 21:08
Wolfgang Kornd?rfer,Leonhard Peezded by process-aware information systems. Apart from these, there are many non-process-aware systems without mechanisms for recording events. Certain techniques for collecting events during the execution of non-process-aware systems have been proposed to enable the discovery of business processes fr作者: 去掉 時間: 2025-3-28 00:23 作者: 紳士 時間: 2025-3-28 02:12 作者: Laconic 時間: 2025-3-28 09:57
Lexika, Lehr- und Handbücher, Sammelwerkehe programming language or paradigm, these program elements are functions, variables, classes, methods, etc. The primary models are then used for different analysis purposes such as: impact analysis, modularization analysis, refactoring decisions, architectural reconstruction. Particularities of the作者: 外科醫(yī)生 時間: 2025-3-28 11:48
https://doi.org/10.1007/978-3-663-14166-2riven by changes in the system internally and its operational environment. An adaptive system has to monitor and analyse such changes and, if needed, switch to the right behaviour to meet its requirements. In this paper, we advocate another essential driver for adaptation which is the collective jud作者: circumvent 時間: 2025-3-28 16:33
Die Grundproblematik des Personalwesens,cification process in multimedia development starts with the codification of prototype. After, it is analyzed by the customer to decide whether the application is to be constructed or not. This paper proposes a process specially defined for multimedia development that provides an initial prototype w作者: aristocracy 時間: 2025-3-28 19:20
Die Erden: Aluminium und Chrom,rements has been explored and addressed in various forms earlier. Of several recommended approaches, logical representation of requirements has been widely acknowledged to formalize the requirements languages. In this paper, we present courteous logic based representations for software requirements.作者: 壓倒 時間: 2025-3-28 23:37
https://doi.org/10.1007/978-3-7091-9829-2ntic tableaux reasoning method. Requirements elicitation is carried out with some UML diagrams. A use case, its scenario and its activity diagram may be linked to each other during the process of gathering requirements. Activities are identified in the use case scenario and then their workflows are 作者: 眼界 時間: 2025-3-29 06:42
978-3-642-45421-9Springer-Verlag Berlin Heidelberg 2013作者: CAB 時間: 2025-3-29 10:20 作者: 印第安人 時間: 2025-3-29 12:44
Conference proceedings 2013g, ENASE 2012, held in Wroclaw, Poland, in June 2012. The 11 full papers presented were carefully reviewed and selected from 54 submissions. The papers cover various topics in software engineering and focus on the comparison of novel approaches with established traditional practices and by evaluating them against software quality criteria.作者: Femish 時間: 2025-3-29 18:22
