標(biāo)題: Titlebook: International Symposium on Fundamentals of Software Engineering; International Sympos Farhad Arbab,Marjan Sirjani Conference proceedings 20 [打印本頁] 作者: 衰退 時(shí)間: 2025-3-21 17:02
書目名稱International Symposium on Fundamentals of Software Engineering影響因子(影響力)
書目名稱International Symposium on Fundamentals of Software Engineering影響因子(影響力)學(xué)科排名
書目名稱International Symposium on Fundamentals of Software Engineering網(wǎng)絡(luò)公開度
書目名稱International Symposium on Fundamentals of Software Engineering網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱International Symposium on Fundamentals of Software Engineering被引頻次
書目名稱International Symposium on Fundamentals of Software Engineering被引頻次學(xué)科排名
書目名稱International Symposium on Fundamentals of Software Engineering年度引用
書目名稱International Symposium on Fundamentals of Software Engineering年度引用學(xué)科排名
書目名稱International Symposium on Fundamentals of Software Engineering讀者反饋
書目名稱International Symposium on Fundamentals of Software Engineering讀者反饋學(xué)科排名
作者: 初次登臺(tái) 時(shí)間: 2025-3-21 20:36 作者: nutrients 時(shí)間: 2025-3-22 01:48
Test Selection Criteria for Quantifier-Free First-Order Specifications,current test purpose under unfolding and specification axioms. Our unfolding procedure is sound (no test is added) and complete (no test is lost) with respect to the starting test purpose. It is exemplified on a simple example.作者: 性行為放縱者 時(shí)間: 2025-3-22 04:38
0302-9743 missions, out of which the PC selected 22 as regular papers and 8 as short papers to be published in the post-proceedings, and 6 papers accepted for poster pres978-3-540-75697-2978-3-540-75698-9Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: COUCH 時(shí)間: 2025-3-22 11:56 作者: Omnipotent 時(shí)間: 2025-3-22 13:52
Marc Aiguier,Agnès Arnould,Pascale Le Gall,Delphine Longuet作者: Diatribe 時(shí)間: 2025-3-22 20:20 作者: Generator 時(shí)間: 2025-3-22 23:25 作者: 叢林 時(shí)間: 2025-3-23 03:28
Parosh Aziz Abdulla,Jo?l Ouaknine,Karin Quaas,James Worrelltenverarbeitungs-Probleme eingesetzt werden. Weil PEARL die M?glichkeit bietet, neue Daten- s?tze einzulesen, w?hrend gleichzeitig alte verarbeitet und Er- gebnisse ausgegeben werden, laufen entsprechend geschriebene Programme unter umst?nden viel schneller als bei Benutzung von Sprachen, die keine Parallelar978-3-519-12475-7978-3-322-96759-6作者: Mortal 時(shí)間: 2025-3-23 06:08 作者: Infraction 時(shí)間: 2025-3-23 09:44 作者: OMIT 時(shí)間: 2025-3-23 16:02 作者: antiandrogen 時(shí)間: 2025-3-23 20:06
Xin Chen,Jifeng He,Zhiming Liu,Naijun Zhanuktionseinheiten und deren Datenobjekte zusammen mit den Zugriffsmethoden kapseln. HMO eignen sich gut für die 3D-Simulation von Automatisierungssystemen auf einem Rechen-Cluster. Sie basiert dabei auf den aus dem CAD-System exportierten VRML-Daten, die mit der Simulation des für die Steuerung vorge作者: 借喻 時(shí)間: 2025-3-24 02:14 作者: 蒼白 時(shí)間: 2025-3-24 05:26
Alessandro Lapadula,Rosario Pugliese,Francesco Tiezziuktionseinheiten und deren Datenobjekte zusammen mit den Zugriffsmethoden kapseln. HMO eignen sich gut für die 3D-Simulation von Automatisierungssystemen auf einem Rechen-Cluster. Sie basiert dabei auf den aus dem CAD-System exportierten VRML-Daten, die mit der Simulation des für die Steuerung vorge作者: 散開 時(shí)間: 2025-3-24 08:17 作者: 可互換 時(shí)間: 2025-3-24 13:39 作者: 古代 時(shí)間: 2025-3-24 17:18
Magnus O. Myreen,Anthony C. J. Fox,Michael J. C. Gordonuktionseinheiten und deren Datenobjekte zusammen mit den Zugriffsmethoden kapseln. HMO eignen sich gut für die 3D-Simulation von Automatisierungssystemen auf einem Rechen-Cluster. Sie basiert dabei auf den aus dem CAD-System exportierten VRML-Daten, die mit der Simulation des für die Steuerung vorge作者: 省略 時(shí)間: 2025-3-24 21:07
International Symposium on Fundamentals of Software EngineeringInternational Sympos作者: 影響帶來 時(shí)間: 2025-3-25 00:56 作者: 生意行為 時(shí)間: 2025-3-25 06:15 作者: Defense 時(shí)間: 2025-3-25 09:07
Nuovo DRM Paradiso: Towards a Verified Fair DRM Scheme,and using them as the basis, the scheme is verified. The verification shows the presence of security weaknesses in the original protocols, which are then addressed in our proposed extension to the scheme. A finite model of the extended scheme is subsequently model checked and shown to satisfy its de作者: byline 時(shí)間: 2025-3-25 11:53
Formalizing Compatibility and Substitutability in Communication Protocols Using I/O-Constraint Auto protocol stack. Due to the need for on-the-fly reconfiguration of protocol stack in future communication and computation devices, formalizing substitutability and compatibility of protocol entities are important in correctness assessment of dynamic reconfiguration. In this paper, we extend Constrai作者: attenuate 時(shí)間: 2025-3-25 19:11
Is Your Security Protocol on Time ?,ct execution of a session and finding out whether the Intruder can change it to shorter or longer by an active attack. Moreover, we generalize the correspondence property so that attacks can be also discovered when some time constraints are not satisfied. As case studies we verify generalized authen作者: 細(xì)絲 時(shí)間: 2025-3-25 20:15
Adapting the UPPAAL Model of a Distributed Lift System,3) analyzed a redesign of this system using the timed automata based toolset .. We adapt and extend this . model. Firstly, we refine the synchronization mechanism between lifts, to explain a new problem that was reported by the developers of the lift system, and to propose a solution for it. Secondl作者: meretricious 時(shí)間: 2025-3-26 04:08
Zone-Based Universality Analysis for Single-Clock Timed Automata,h research on problems such as language inclusion and universality. It is well-known that the universality problem is undecidable for the class of timed automata with two or more clocks. Recently, it was shown that the problem becomes decidable if the automata are restricted to operate on a single c作者: 有角 時(shí)間: 2025-3-26 07:41 作者: 邊緣 時(shí)間: 2025-3-26 10:50
Reusing Requirements: The Need for Extended Variability Models, powerful means to manage comprehensively of all artifacts produced during system development for reuse. Hence, classical product line approaches provide mechanisms to handle requirements for reuse. But especially in the context of automotive systems, we face the challenge of creating reusable requi作者: anaphylaxis 時(shí)間: 2025-3-26 13:04
Test Selection Criteria for Quantifier-Free First-Order Specifications,as ground formulae and any specification has an exhaustive test data set whose successful submission means correctness, provided that the software under verification can be modeled as a first-order structure over the same signature. As it has already been done for positive conditional equational spe作者: 新字 時(shí)間: 2025-3-26 20:33 作者: 微枝末節(jié) 時(shí)間: 2025-3-26 21:01 作者: 職業(yè)拳擊手 時(shí)間: 2025-3-27 01:31 作者: Ceremony 時(shí)間: 2025-3-27 07:05
Contract Based Multi-party Service Composition,ully exploited to solve the problem of client/service composition. In this paper we consider services where the choice to perform an output may not depend on the environment and we revisit the theory of contracts in order to tackle the problem of composition of multiple services (not only one client作者: Dignant 時(shí)間: 2025-3-27 11:11 作者: DENT 時(shí)間: 2025-3-27 15:59 作者: 閹割 時(shí)間: 2025-3-27 20:48 作者: 花費(fèi) 時(shí)間: 2025-3-27 21:55 作者: inquisitive 時(shí)間: 2025-3-28 04:02 作者: optic-nerve 時(shí)間: 2025-3-28 09:16 作者: Initial 時(shí)間: 2025-3-28 13:18 作者: 匯總 時(shí)間: 2025-3-28 18:31
Niloofar Razavi,Marjan Sirjaniuch der Name andeuten, der jedoch nichts mit Perlen zu tun hat, sondern nur die Abkürzung von "Process and Experiment Automation Realtime Language" ist. PEARL ist eine Echtzeit-Programmiersprache für die Automatisierung technischer Prozesse. Für diesen Zweck gab es 1969 keine geeignete Sprach- desha作者: Atmosphere 時(shí)間: 2025-3-28 21:35
Mercedes G. Merayo,Manuel Nú?ez,Ismael Rodriguez die elektrische Projektierung und IDEs für die Programmierung der Steuerungen. In der Regel fokussieren sich die Werkzeuge auf einen speziellen Teilaspekt der Produktionseinheit und erzeugen Dateien, die nur von dem eigenen Programm verwendet werden k?nnen. Im Rahmen der Modularisierung der Fertigu作者: DEFER 時(shí)間: 2025-3-29 02:29
Seyyed Vahid Hashemian,Farhad Mavaddat die elektrische Projektierung und IDEs für die Programmierung der Steuerungen. In der Regel fokussieren sich die Werkzeuge auf einen speziellen Teilaspekt der Produktionseinheit und erzeugen Dateien, die nur von dem eigenen Programm verwendet werden k?nnen. Im Rahmen der Modularisierung der Fertigu作者: 分發(fā) 時(shí)間: 2025-3-29 04:48
Xin Chen,Jifeng He,Zhiming Liu,Naijun Zhan die elektrische Projektierung und IDEs für die Programmierung der Steuerungen. In der Regel fokussieren sich die Werkzeuge auf einen speziellen Teilaspekt der Produktionseinheit und erzeugen Dateien, die nur von dem eigenen Programm verwendet werden k?nnen. Im Rahmen der Modularisierung der Fertigu作者: AUGUR 時(shí)間: 2025-3-29 08:11
Mario Bravetti,Gianluigi Zavattaro die elektrische Projektierung und IDEs für die Programmierung der Steuerungen. In der Regel fokussieren sich die Werkzeuge auf einen speziellen Teilaspekt der Produktionseinheit und erzeugen Dateien, die nur von dem eigenen Programm verwendet werden k?nnen. Im Rahmen der Modularisierung der Fertigu作者: Concomitant 時(shí)間: 2025-3-29 14:20 作者: LAPSE 時(shí)間: 2025-3-29 15:40
Filippo Bonchi,Antonio Brogi,Sara Corfini,Fabio Gadducci die elektrische Projektierung und IDEs für die Programmierung der Steuerungen. In der Regel fokussieren sich die Werkzeuge auf einen speziellen Teilaspekt der Produktionseinheit und erzeugen Dateien, die nur von dem eigenen Programm verwendet werden k?nnen. Im Rahmen der Modularisierung der Fertigu作者: PANIC 時(shí)間: 2025-3-29 21:32 作者: SLAY 時(shí)間: 2025-3-30 03:09 作者: 仇恨 時(shí)間: 2025-3-30 05:38
Formalizing Compatibility and Substitutability in Communication Protocols Using I/O-Constraint Autoulation relation is not strong enough for notion of substitutability. We show the relation between substitutability and compatibility to reason about the correctness in substitution of a protocol with a new one.作者: 流動(dòng)性 時(shí)間: 2025-3-30 10:54 作者: 舊式步槍 時(shí)間: 2025-3-30 13:24
Slicing Abstractions,ce; the resulting smaller representation gives room for additional predicates in the abstraction. The procedure terminates when an error path in the abstraction can be concretized, which proves that the system is erroneous, or when the slice becomes empty, which proves that the system is correct.作者: HPA533 時(shí)間: 2025-3-30 16:36
Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition and Refinemeparticular, we (i) develop a class of abstract models together with a refinement notion; (ii) define parallel composition guaranteeing fairness; and (iii) develop a 3-valued logic with a satisfaction relation that is preserved under refinement.作者: Custodian 時(shí)間: 2025-3-30 20:51 作者: 仇恨 時(shí)間: 2025-3-31 04:16
Adapting the UPPAAL Model of a Distributed Lift System,y, we allow a lift to enter a halt state, after which the entire system should make an emergency stop, for instance because a lift meets a maximum height threshold. Using the . model checker we verified that the adapted lift system satisfies the system requirements.作者: Tortuous 時(shí)間: 2025-3-31 05:29 作者: 沙發(fā) 時(shí)間: 2025-3-31 10:56 作者: Phagocytes 時(shí)間: 2025-3-31 16:13 作者: Commonwealth 時(shí)間: 2025-3-31 20:46
Contract Based Multi-party Service Composition, with one service). Moreover, we relate our theory of contracts with the theory of testing preorder (interpreted as a subcontract relation) and we show that a compliant group of contracts is still compliant if every contract is replaced by one of its subcontract.作者: 不真 時(shí)間: 2025-3-31 22:41 作者: 雪上輕舟飛過 時(shí)間: 2025-4-1 05:28
Hoare Logic for ARM Machine Code,verse pointer-based data structures. The presented work has been mechanised in the HOL4 theorem prover and is currently being used to verify ARM machine code implementations of arithmetic and cryptographic operations.作者: 極深 時(shí)間: 2025-4-1 07:57
Conference proceedings 2007n, April 17–19, 2007. This event, FSEN 2007, was organized by the School of Computer Science at the Institute for Studies in Fundamental Sciences (IPM) in Iran, in cooperation with the ACM SIGSOFT and IFIP WG 2.2, and was additionally supported by the University of Tehran, Sharif University of Te- n作者: 粘土 時(shí)間: 2025-4-1 12:04 作者: osteoclasts 時(shí)間: 2025-4-1 17:37
Is Your Security Protocol on Time ?,respondence property so that attacks can be also discovered when some time constraints are not satisfied. As case studies we verify generalized authentication of KERBEROS, TMN, Neumann Stubblebine Protocol, Andrew Secure Protocol, WMF, and NSPK.作者: overrule 時(shí)間: 2025-4-1 19:55
Formal Testing of Systems Presenting Soft and Hard Deadlines,roduces several reasonable alternatives to define appropriate ., that is, relations to decide wether an implementation is correct with respect to a specification. In addition to introduce these relations, we define a testing framework to test implementations.作者: GUISE 時(shí)間: 2025-4-2 00:45
Action Abstraction in Timed Process Algebra,med process algebras. Characteristic for this approach is that in abstracting from an action, also its timing is abstracted from. We define an abstraction operator and a timed variant of rooted branching bisimilarity and establish that this notion is an equivalence relation and a congruence.
