標(biāo)題: Titlebook: Software Engineering and Computer Systems, Part III; Second International Jasni Mohamad Zain,Wan Maseri bt Wan Mohd,Eyas El- Conference pro [打印本頁(yè)] 作者: Colossal 時(shí)間: 2025-3-21 18:46
書目名稱Software Engineering and Computer Systems, Part III影響因子(影響力)
書目名稱Software Engineering and Computer Systems, Part III影響因子(影響力)學(xué)科排名
書目名稱Software Engineering and Computer Systems, Part III網(wǎng)絡(luò)公開(kāi)度
書目名稱Software Engineering and Computer Systems, Part III網(wǎng)絡(luò)公開(kāi)度學(xué)科排名
書目名稱Software Engineering and Computer Systems, Part III被引頻次
書目名稱Software Engineering and Computer Systems, Part III被引頻次學(xué)科排名
書目名稱Software Engineering and Computer Systems, Part III年度引用
書目名稱Software Engineering and Computer Systems, Part III年度引用學(xué)科排名
書目名稱Software Engineering and Computer Systems, Part III讀者反饋
書目名稱Software Engineering and Computer Systems, Part III讀者反饋學(xué)科排名
作者: 做事過(guò)頭 時(shí)間: 2025-3-21 21:50
PS2Way: An Efficient Pairwise Search Approach for Test Data Generationarch approach (PS2Way) of input values for optimum test data generation. This approach searches the most coverable pairs by pairing parameters and adopts one-test-at-a-time strategy to construct final test suites. PS2Way is effective in terms of number of generated test cases and execution time compared to other existing strategies.作者: 火海 時(shí)間: 2025-3-22 00:40 作者: 一再遛 時(shí)間: 2025-3-22 05:59 作者: conquer 時(shí)間: 2025-3-22 09:21
Understanding Motivators and De-motivators for Software Engineers – A Case of Malaysian Software Engoftware engineering. As far as de-motivators are concerned, main de-motivators includes lack of promotional opportunities, less competitive pay and unfair reward system. These results confirmed that the importance of motivators and de-motivators vary between Western and Malaysian cultures.作者: fulcrum 時(shí)間: 2025-3-22 15:04
UML Diagram for Design Patternsoses a new higher level set of diagrams and layout schemes to better highlight the design patterns used in a software architecture. This proposal can go further as a proposal for a new set of diagram in UML standard.作者: 滋養(yǎng) 時(shí)間: 2025-3-22 19:55
Practical Adoptions of T-Way Strategies for Interaction Testingaper also highlights and unifies the different possible use of t-way strategies including uniform interaction, variable strength interaction, and input-output based relations. In order to help engineers make informed decision on the different use of t-way strategies, this paper discusses the main is作者: 滔滔不絕地講 時(shí)間: 2025-3-22 22:40 作者: Peristalsis 時(shí)間: 2025-3-23 01:25
Model-Based Web Components Testing: A Prioritization Approachh a challenge. However, there is no criteria that could be used to aid practitioners in selecting appropriate approaches suitable for their particular effort. In this paper we present a set of attributes to serve as criteria for classifying and comparing these approaches and provide such aid to prac作者: BRIBE 時(shí)間: 2025-3-23 09:35 作者: 昏迷狀態(tài) 時(shí)間: 2025-3-23 12:21
Health Architecture Based on SOA and Mobile Agentsile agents have many advantages that make them a viable and attractive option in health sector applications. We propose the development of a health architecture based on integrated mobile agent technology and a service-oriented architecture (SOA) with distributed health applications involving the in作者: 嫌惡 時(shí)間: 2025-3-23 14:28
Metrics Based Variability Assessment of Code Assetspment methodologies software assets are being reused. Variability management is a tenet of software reuse. Variability is the capacity of software to satisfy variant requirements. Variability, being the central player in reuse and an important characteristic of reusable components, needs to be measu作者: Ambiguous 時(shí)間: 2025-3-23 21:27 作者: ADORE 時(shí)間: 2025-3-24 01:32
A Parallel Tree Based Strategy for T-Way Combinatorial Interaction Testingincreases, the interactions between the components also increases exponentially which cause the combinatorial explosion problem. This mean complete (exhaustive) testing becomes unreasonable due to the huge number of possible combinations. Although 2-way interaction testing (i.e. pairwise testing) ca作者: uveitis 時(shí)間: 2025-3-24 05:03
PS2Way: An Efficient Pairwise Search Approach for Test Data Generationmpossible to perform exhaustive test i.e., to test all combinations of input data. Pairwise (2way) test data generation approach supports higher reduction of exhaustive numbers as well as low cost and effective. In pairwise approach, most of the software faults are caused by unusual combination of i作者: Rheumatologist 時(shí)間: 2025-3-24 09:59 作者: linguistics 時(shí)間: 2025-3-24 14:44
Automatic Analysis of Static Execution Time for Complex Loop Contained External Inputubstantial research undergone for applying user input in various manners. One of them, Parametric WCET (Worst-Case Execution Time) analysis uses parameter to get a user input. It can give detailed formula expressed in the input variables of a program during analysis time. This can help an analyzer t作者: BACLE 時(shí)間: 2025-3-24 17:06
Software Reuse: MDA-Based Ontology Development to Support Data Access over Legacy Applicationsture (MDA) enriched with ontological approach to provide ontology development method. The method leverages the UML model in the initial phase of ontology development, and then the produced ontology is aligned with specific domain ontology. The steps involved consist of: (1) generating the UML model 作者: 蘆筍 時(shí)間: 2025-3-24 20:32 作者: 合同 時(shí)間: 2025-3-25 02:40 作者: 上流社會(huì) 時(shí)間: 2025-3-25 05:01
Towards Unit Testing of User Interface Code for Android Mobile Applicationsy, there is also an interest in assessing the correctness of their system rapidly, since smart phone applications usually develop quickly and have a lower lifecycle as compared to desktop applications. We are specifically interested in an efficient way of testing the Graphical User Interface (GUI), 作者: 卷發(fā) 時(shí)間: 2025-3-25 10:16 作者: ADORE 時(shí)間: 2025-3-25 14:42 作者: pester 時(shí)間: 2025-3-25 17:36 作者: 舊石器時(shí)代 時(shí)間: 2025-3-25 21:03
UML Diagram for Design PatternsML is still lacking of a dedicated set of diagrams for representing design patterns. While numerous works have been published on attempts to describe design patterns in terms of UML features, there is hardly any work has been done on attempts to un-clutter class diagrams at the initial development s作者: 最后一個(gè) 時(shí)間: 2025-3-26 00:13 作者: gerontocracy 時(shí)間: 2025-3-26 04:19 作者: Facilities 時(shí)間: 2025-3-26 11:26
Metrics Based Variability Assessment of Code Assetsred. In this paper we acknowledge this need and identify measures of variability. Variability implementation mechanisms are analyzed followed by metrics. The metrics are applied on open source component code and the results are validated by an experiment carried out with human subjects.作者: OTHER 時(shí)間: 2025-3-26 12:51 作者: 陪審團(tuán) 時(shí)間: 2025-3-26 18:41 作者: innovation 時(shí)間: 2025-3-26 21:45
A Framework to Assure the Quality of Sanity Check Processnd sometimes it is considered as a full quality audit. A proper and well prepared sanity check significantly reduce the time and cost of overall project. In this paper we proposed a new framework to assure the quality of sanity check process with prioritize set of activities.作者: 天氣 時(shí)間: 2025-3-27 04:57 作者: forthy 時(shí)間: 2025-3-27 05:51 作者: recede 時(shí)間: 2025-3-27 10:22 作者: 斥責(zé) 時(shí)間: 2025-3-27 14:12
A Parallel Tree Based Strategy for T-Way Combinatorial Interaction Testingrevious strategy, “A Tree Based Strategy for Test Data Generation and Cost Calculation” by applying parallel algorithms to go beyond pairwise testing. The proposed strategy can support higher interaction testing. The designed algorithms are described in details with efficient empirical results.作者: 把手 時(shí)間: 2025-3-27 19:20
Automatic Analysis of Static Execution Time for Complex Loop Contained External Inputparametric static execution time for complex loop contained external input. Our proposed method, using control variable information table, can analyze complex structural loop that was difficult to analyze before and, offers accurate and flexible result better than existing manner.作者: ANT 時(shí)間: 2025-3-28 01:08
Towards Unit Testing of User Interface Code for Android Mobile Applicationsiques and details the difficulty in writing unit tests for GUI code. Finally, the study gives a recommendation based on the different testing approaches available, followed by a discussion of both the implications and limitations of the findings.作者: 使腐爛 時(shí)間: 2025-3-28 03:52
Conference proceedings 2011011, held in Kuantan, Malaysia, in June 2011.The 190 revised full papers presented together with invited papers inthe three volumes were carefully reviewed and selected from numeroussubmissions. The papers are organized in topical sections on softwareengineering; network; bioinformatics and e-health作者: intrude 時(shí)間: 2025-3-28 06:52 作者: 無(wú)法解釋 時(shí)間: 2025-3-28 13:05
1865-0929 atabases;algorithms; signal processing; software design/testing; e- technology;ad hoc networks; social networks; software process modeling;miscellaneous topics in software engineering and computer systems.978-3-642-22202-3978-3-642-22203-0Series ISSN 1865-0929 Series E-ISSN 1865-0937 作者: DAFT 時(shí)間: 2025-3-28 16:17
paper we show that parallel prefix circuits enjoy a very pleasant algebra. Using only two basic building blocks and four combinators all standard designs can be described succinctly and rigorously. The rules of the algebra allow us to prove the circuits correct and to derive circuit designs in a sy作者: conspicuous 時(shí)間: 2025-3-28 22:28 作者: blackout 時(shí)間: 2025-3-28 23:00
Michael Hartwigte in terms of global state, provide a novel axiomatic characterisation of global state and prove that the handler satisfies Gibbons and Hinze’s local state axioms by means of a novel combination of free monads and contextual equivalence. We also provide a model for global state that is necessarily 作者: Mediocre 時(shí)間: 2025-3-29 06:37
Asma Md Ali,Joan Richardsone not new, but the calculational, abstract and compact technique of deriving them is meant to improve and complement the current techniques [KNU77, REY81, REM84]. It is believed to simplify the derivations for a wider algorithm class [EIJ92] than the one treated here.作者: 集合 時(shí)間: 2025-3-29 10:16
Ionut Dinca,Alin Stefanescu,Florentin Ipate,Raluca Lefticaru,Cristina Tudosety and type structure etc. Initially concerned with software only, the mathematics are also finding fruit in hardware design so that the traditional boundaries between the two disciplines have become blurred. The varieties of mathematics of program construction are wide-ranging. They include calculi作者: JAUNT 時(shí)間: 2025-3-29 14:13
Sabira Khatun,Khandakar Fazley Rabbi,Che Yahaya Yaakub,M. F. J. Klaib,Mohammad Masroor Ahmedw how to use the equations in languages to calculate the probability of winning. The formula generalises a formula due to John H. Conway for the original Penney-Ante game. At no point in our analysis do we use generating functions. Even so, we are able to calculate probabilities and expected values.作者: 現(xiàn)實(shí) 時(shí)間: 2025-3-29 18:57
Roslina Mohd Sidek,A. Noraziah,Mohd Helmy Abd Wahab can support features such as separate compilation, libraries and a foreign-function interface?[5]. The programming language of GoS, ., is an “.-like” language?[6] extended with concurrency features?[7]. The interplay between the call-by-name function mechanism and local effects, an approach specifi作者: 懦夫 時(shí)間: 2025-3-29 22:03 作者: Perceive 時(shí)間: 2025-3-30 00:15 作者: 討人喜歡 時(shí)間: 2025-3-30 04:55
Rabia Sammi,Iram Masood,Shunaila Jabeenines and decisions around vaccine allocation and optimization. . The diseases and public health issues in this volume include, but are not limited to COVID-19, HIV, Influenza, antimicrobial resistance (AMR), the opioid epidemic, Lyme Disease, Zika, and Malaria. In addition, this volume compares comp作者: 長(zhǎng)矛 時(shí)間: 2025-3-30 12:06
Boon Wee Low,Boon Yaik Ooi,Chee Siang Wongtors of natural numbers, which would allow to break RSA encryptions. All necessary number theoretical mathematics for this, including all proofs, is provided in Appendix?D. The next algorithm is again due to . and provides a quantum method to calculate the discrete logarithm of a finite abelian grou作者: 取之不竭 時(shí)間: 2025-3-30 12:47 作者: 伙伴 時(shí)間: 2025-3-30 16:38 作者: itinerary 時(shí)間: 2025-3-30 21:12
Mobashar Rehman,Ahmad Kamil Mahmood,Rohani Salleh,Aamir Amin作者: molest 時(shí)間: 2025-3-31 01:33
Software Engineering and Computer Systems, Part IIISecond International作者: GLOSS 時(shí)間: 2025-3-31 06:54 作者: 懦夫 時(shí)間: 2025-3-31 11:59
Mohamed Elammari,Tarek F. Alteapentialprograms but also to parallel and on-current applications,real-time and reactive systems, and to designsrealiseddirectly in hardware. The volume includes 978-3-540-56625-0978-3-540-47613-9Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: CREEK 時(shí)間: 2025-3-31 16:42 作者: 不能逃避 時(shí)間: 2025-3-31 21:11
Mohammad F. J. Klaib,Sangeetha Muthuraman,A. Noraziahditional boundaries between the two disciplines have become blurred. The varieties of mathematics of program construction are wide-ranging. They include calculi978-3-540-51305-6978-3-540-46191-3Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: 宇宙你 時(shí)間: 2025-3-31 23:30
Health Architecture Based on SOA and Mobile Agents center’s local data format can be modified for data exchange with other health centers through a mapping process that transforms the data from its local format to HL7, and vice versa. This research introduces a mobile agent architecture that can be applied to distributed health information systems 作者: 施舍 時(shí)間: 2025-4-1 02:13
