標題: Titlebook: Advances in Software Engineering; International Confer Dominik ?l?zak,Tai-hoon Kim,Silvia Abrah?o Conference proceedings 2009 Springer-Verl [打印本頁] 作者: Melanin 時間: 2025-3-21 19:59
書目名稱Advances in Software Engineering影響因子(影響力)
書目名稱Advances in Software Engineering影響因子(影響力)學科排名
書目名稱Advances in Software Engineering網(wǎng)絡公開度
書目名稱Advances in Software Engineering網(wǎng)絡公開度學科排名
書目名稱Advances in Software Engineering被引頻次
書目名稱Advances in Software Engineering被引頻次學科排名
書目名稱Advances in Software Engineering年度引用
書目名稱Advances in Software Engineering年度引用學科排名
書目名稱Advances in Software Engineering讀者反饋
書目名稱Advances in Software Engineering讀者反饋學科排名
作者: 來就得意 時間: 2025-3-21 23:08 作者: 殘暴 時間: 2025-3-22 02:16 作者: seroma 時間: 2025-3-22 07:40 作者: 半導體 時間: 2025-3-22 09:50
Embedded Control Software Design with Aspect Patterns,ontrol model with a CAD/CAE tool such as MATLAB/Simulink, in which “zero-time execution” is assumed. In the software design phase, we design timing issues such as task structures and mechanisms for data integrity to execute the control software in the preemptive multi-task environment. We represent 作者: 傳染 時間: 2025-3-22 14:52 作者: excursion 時間: 2025-3-22 20:49
A Multiple Viewed Interrelated Ontology Model for Holistic Component Specification and Retrieval,t reuse due to the lack of effective and automated approaches to component specification and retrieval. This paper presents a novel ontology-based approach to solve the above problem via holistic, semantic-based and adaptation-aware component specification and retrieval. The Multiple-Viewed and Inte作者: cogent 時間: 2025-3-23 00:48 作者: 含沙射影 時間: 2025-3-23 02:58 作者: 一夫一妻制 時間: 2025-3-23 07:05
A Formal Methodology for Semantics and Time Consistency Checking of UML Dynamic Diagrams,s and the expressiveness gap between them. In this setting, this paper proposes a formal methodology for semantical and time consistency checking between the behavioral models of StateCharts and scenario-based specifications.作者: 分期付款 時間: 2025-3-23 11:50
A Process Model for Forensic Analysis of Symbian Smart Phones,me, smart phones may be used for fraud, forgery and defamation and other criminal activities.Symbian smartphones forensics is relatively a new field of interest among scientific and law enforcement.There are various mobile phones forensics process models now. But these models may not be able to solv作者: Relinquish 時間: 2025-3-23 16:11
Reliability Analysis Method for Supporting Traceability Using UML,y service. Many reliability analysis approaches are proposed but they have some limitations such as modeling limitation or analysis limitation. In this paper, we propose reliability analysis method with supporting traceability using UML. This approach can provide reliability analysis result and find作者: 設施 時間: 2025-3-23 21:15 作者: ALLEY 時間: 2025-3-24 01:56
Using Area-Team to Evaluate the Software Architecture for an Online Banking System: A Case Study,s the use of Architecture Requirements Engineering Error and Accuracy ? The Analysis Method (AREA?TEAM) to evaluate an online banking system. This research paper presents the detailed case study of the system and the overall evaluation process that has employed AREA-TEAM. Eventually this paper discu作者: 推遲 時間: 2025-3-24 06:17
,Architectural Decay during Continuous Software Evolution and Impact of ‘Design for Change’ on Softwand careful evolution of software leads to a longer life of the software whereas a bad design and careless evolution leads to decay of the software. This paper discusses the phenomenon of architectural decay and gives an account of the practices suggested in the literature for identification, resolu作者: Adulterate 時間: 2025-3-24 09:56 作者: 險代理人 時間: 2025-3-24 12:00
Applying Formal Methods to Process Innovation,uality. An improvement opportunity comes from the availability of innovative process components to be integrated in a working software process. Formal methods are more and more used for modeling and verifying software systems. In this paper formal methods are instead used for modeling an innovative 作者: elastic 時間: 2025-3-24 16:23
Abstracting Models from Execution Traces for Performing Formal Verification,with high degree of dynamism. Monitoring and verification of these systems are important even when they have to be running with a high level of availability and low halt time. Model checking is an automatic technique to verify compliance of the system implementation with respect to the requirements.作者: Minatory 時間: 2025-3-24 22:03 作者: 狂熱文化 時間: 2025-3-25 01:49 作者: 燈泡 時間: 2025-3-25 05:06
Felipe Ortiz,Marisa Panizzi,Rodolfo Bertonetching profile. Uniquely, the effect of possible component adaptation is included in the MVICS model and associated component specification and retrieval, which enables a more systematic and holistic view in component specification and selection.作者: Left-Atrium 時間: 2025-3-25 08:22 作者: 甜食 時間: 2025-3-25 11:44
An XCP Based Distributed Calibration System,roller Area Network (CAN) Calibration Protocol (CCP). Some new features of XCP are implemented in our system, which successfully achieves these goals: minimal slave resource consumption, efficient communication and program scalability.作者: 離開 時間: 2025-3-25 19:29 作者: famine 時間: 2025-3-25 21:22
A Conflict-Based Model for Problem-Oriented Software Engineering and Its Applications Solved by Dimctory relationships. All the problems in this paper have the same features in some aspects. All can be defined as a problem having a trade-off between ‘volume’ and ‘efficiency’. In other words, we can find some problem frames. Finally, we apply the dimension change principle and the use of intermediary principle of TRIZ to solve the problems.作者: 反抗者 時間: 2025-3-26 00:57 作者: 心胸狹窄 時間: 2025-3-26 07:46 作者: 不持續(xù)就爆 時間: 2025-3-26 10:21 作者: Feigned 時間: 2025-3-26 15:27
Felipe Ortiz,Marisa Panizzi,Rodolfo Bertoneons. We also provide a model weaver to weave the aspect patterns into the base model incrementally. In the timing design, we only have to select the aspect patterns and weave them into the functional model with the model weaver.作者: Encoding 時間: 2025-3-26 19:05 作者: 表被動 時間: 2025-3-26 21:34 作者: 演講 時間: 2025-3-27 02:48
https://doi.org/10.1007/978-3-030-75836-3and may induce false behaviors in presence of conflicting transitions. To fix this problem, we propose a new semantics that removes these incoherences by managing accurately after each firing the status of enabled transitions. We prove that our semantics is sound when assuming a monoserver hypothesis.作者: lymphedema 時間: 2025-3-27 05:28 作者: 蔑視 時間: 2025-3-27 12:34 作者: 休戰(zhàn) 時間: 2025-3-27 15:29
https://doi.org/10.1007/978-3-031-34147-2bility and low halt time. Model checking is an automatic technique to verify compliance of the system implementation with respect to the requirements. In this paper we address the problem of abstracting a process model from a set of execution traces of a Java application with the aim of performing formal verification through model checking.作者: Migratory 時間: 2025-3-27 18:55 作者: 巨碩 時間: 2025-3-27 23:12
Using Area-Team to Evaluate the Software Architecture for an Online Banking System: A Case Study,earch paper presents the detailed case study of the system and the overall evaluation process that has employed AREA-TEAM. Eventually this paper discusses the results and elaborates the key benefits of the employed method.作者: Frequency-Range 時間: 2025-3-28 03:06
Applying Formal Methods to Process Innovation, methods are more and more used for modeling and verifying software systems. In this paper formal methods are instead used for modeling an innovative process component and understanding its integrability degree in an operative software process.作者: gnarled 時間: 2025-3-28 07:24
Abstracting Models from Execution Traces for Performing Formal Verification,bility and low halt time. Model checking is an automatic technique to verify compliance of the system implementation with respect to the requirements. In this paper we address the problem of abstracting a process model from a set of execution traces of a Java application with the aim of performing formal verification through model checking.作者: BOLT 時間: 2025-3-28 14:17 作者: expunge 時間: 2025-3-28 17:08
A Hybrid Model in Dynamic Software Updating for C,osed model not only increases the performance of the system, but also enables us to update programs that have been compiled and executed without any dynamic updating considerations, before. Our experimental results demonstrate the applicability and performance of the proposed model.作者: 殺死 時間: 2025-3-28 22:40 作者: Trochlea 時間: 2025-3-29 00:14
Ricardo García,Gladys Gorga,Rodolfo Bertoneis paper both the processes are considered along with special care has given to the data dependencies within the source code. So, path coverage is taken, which proves better option than the previous methods adopted.作者: 上坡 時間: 2025-3-29 03:40 作者: 斑駁 時間: 2025-3-29 07:39
Omar Spandre,Paula Dieser,Cecilia Sanze the problems of the Symbian smartphone’s adoption.In this paper,we describe a process model for forensic analysis of Symbian smartphones. As a result,this model can overcome some problems of the traditional model of digital investigation on Symbian smartphones.作者: indubitable 時間: 2025-3-29 15:17
Omar Spandre,Paula Dieser,Cecilia Sanz Improvement for Small and Medium Enterprises: ASPISME. This method is integrates the strong synergies and techniques of CMMI, PSP, XP and SCRUM appropriately and suitably so that it can be used as an alternative for software enterprises in Thailand.作者: Suggestions 時間: 2025-3-29 18:47 作者: 無關緊要 時間: 2025-3-29 23:02
Advances in Software Engineering978-3-642-10619-4Series ISSN 1865-0929 Series E-ISSN 1865-0937 作者: etiquette 時間: 2025-3-30 01:51
Felipe Ortiz,Marisa Panizzi,Rodolfo Bertoneons with certain degree of variability, we adapt an XML document retrieval technique. Our technique has the advantage of basing the design pattern identification not only on static, structural information of a pattern but also on the methods of the pattern which represent the dynamic aspect.作者: 路標 時間: 2025-3-30 04:10
https://doi.org/10.1007/978-3-031-05903-2s and the expressiveness gap between them. In this setting, this paper proposes a formal methodology for semantical and time consistency checking between the behavioral models of StateCharts and scenario-based specifications.作者: Bravado 時間: 2025-3-30 08:51
Omar Spandre,Paula Dieser,Cecilia Sanzy service. Many reliability analysis approaches are proposed but they have some limitations such as modeling limitation or analysis limitation. In this paper, we propose reliability analysis method with supporting traceability using UML. This approach can provide reliability analysis result and find non-reliable part of UML.作者: Kindle 時間: 2025-3-30 16:07 作者: 改良 時間: 2025-3-30 19:19 作者: 裝勇敢地做 時間: 2025-3-30 23:36
https://doi.org/10.1007/978-3-030-48325-8consumption and emissions. It is more important to calibrate several ECUs simultaneously than calibrating only one ECU at a time. We developed a distributed calibration system based on the Universal Measurement and Calibration Protocol (XCP) which is the newest communication protocol beyond the Cont作者: ROOF 時間: 2025-3-31 04:48
Felipe Ortiz,Marisa Panizzi,Rodolfo Bertoneons with certain degree of variability, we adapt an XML document retrieval technique. Our technique has the advantage of basing the design pattern identification not only on static, structural information of a pattern but also on the methods of the pattern which represent the dynamic aspect.作者: Keratin 時間: 2025-3-31 07:09 作者: 亞當心理陰影 時間: 2025-3-31 09:42
Felipe Ortiz,Marisa Panizzi,Rodolfo Bertoneontrol model with a CAD/CAE tool such as MATLAB/Simulink, in which “zero-time execution” is assumed. In the software design phase, we design timing issues such as task structures and mechanisms for data integrity to execute the control software in the preemptive multi-task environment. We represent 作者: 丑惡 時間: 2025-3-31 16:49 作者: 大暴雨 時間: 2025-3-31 19:46 作者: Essential 時間: 2025-4-1 00:00 作者: 黑豹 時間: 2025-4-1 03:12 作者: 云狀 時間: 2025-4-1 08:49 作者: 后天習得 時間: 2025-4-1 12:52 作者: 串通 時間: 2025-4-1 17:12
Omar Spandre,Paula Dieser,Cecilia Sanzy service. Many reliability analysis approaches are proposed but they have some limitations such as modeling limitation or analysis limitation. In this paper, we propose reliability analysis method with supporting traceability using UML. This approach can provide reliability analysis result and find
