作者: nutrition 時間: 2025-3-21 23:27 作者: 怎樣才咆哮 時間: 2025-3-22 01:31
Software Product Line Adoption – Guidelines from a Case Study of a case study analyzing the present state of adoption and producing plans for proceeding with the adoption. The research results can be utilized when selecting an adoption model for an empirical case and adopting a software product line in a software intensive organization.作者: cringe 時間: 2025-3-22 08:15 作者: 成績上升 時間: 2025-3-22 09:03
State of the Practice in Software Effort Estimation: A Survey and Literature Review an industrial perspective. The study surveys industrial objectives, the abilities of software organizations to apply certain estimation methods, and actually applied practices of software effort estimation. Finally, requirements for effort estimation methods identified in the survey are compared against existing estimation methods.作者: 臭了生氣 時間: 2025-3-22 16:18 作者: Affiliation 時間: 2025-3-22 20:11 作者: 改變立場 時間: 2025-3-23 00:54
Assessing the Quality of Quality Gate Reference Processesh have to be assessed) were identified by an empirical study involving several companies and by analyzing current literature. The assessment concept was validated by assessing the quality of different Quality Gate reference processes from literature.作者: 使人煩燥 時間: 2025-3-23 01:48 作者: 彈藥 時間: 2025-3-23 08:18 作者: EXALT 時間: 2025-3-23 10:20
Automated Generation of Implementation from Textual System Requirementsist of use cases and a domain model. A use case is a sequence of tasks, which have to be performed to achieve a specific goal. The tasks of the use case are written in a natural language. The domain model describes objects used in the use cases. In this paper, we present an approach that allows auto作者: 高射炮 時間: 2025-3-23 14:09 作者: 加強防衛(wèi) 時間: 2025-3-23 21:27
Mining Design Patterns from Existing Projects Using Static and Run-Time Analysisir placement in the system can be crucial when trying to add a new feature without degradation of its internal quality. In this paper a new method for recognition of given patterns in object-oriented software is presented. It is based on static and semidynamic analysis of intermediate code, which is作者: padding 時間: 2025-3-23 22:47
Transformational Design of Business Processes for SOAsome non-functional requirements concerning e.g. performance of these processes, are met. In the paper a transformational approach to design of business processes is presented. To check equivalence of business processes resulting from the transformations, a BPEL description is converted to Process A作者: JOT 時間: 2025-3-24 03:40 作者: Infect 時間: 2025-3-24 09:16
SMA—The Smyle Modeling Approachport engineers to interactively obtain design models from requirements, characterized as either being desired (positive) or unwanted (negative) system behavior. The learning approach is complemented by . where the engineer can specify . desired or unwanted behavior. This way, user interaction is red作者: oblique 時間: 2025-3-24 14:19
Open Work of Two-Hemisphere Model Transformation Definition into UML Class Diagram in the Context ofa given technological platform. MDA consists of four models: CIM (Computation Independent Model), PIM (Platform Independent Model), PSM (Platform Specific Model) and code model, all these are parts of the MDA transformation line: CIM->PIM->PSM->code. A PIM model has to be created using a language wh作者: Interdict 時間: 2025-3-24 17:44
HTCPNs–Based Tool for Web–Server Clusters DevelopmentTCPN) structures – patterns. The patterns make it possible to naturally construct typical and experimental server–cluster structures. The preliminary patterns are executable queueing systems. A simulation based methodology of web–server model analysis and validation has been proposed. The paper focu作者: 一罵死割除 時間: 2025-3-24 19:20 作者: 狂熱文化 時間: 2025-3-25 01:56
Refactoring the Documentation of Software Product Linesimproving SPL architecture in such a way that the behavior of existing products remains unchanged. We extend the idea of SPL refactoring to technical documentation because reuse techniques could effectively be applied to this area and reusable assets evolve and should be maintained. Various XML-base作者: 誘惑 時間: 2025-3-25 04:46 作者: 紡織品 時間: 2025-3-25 08:00 作者: affinity 時間: 2025-3-25 15:35 作者: 沒收 時間: 2025-3-25 16:07
Exploratory Comparison of Expert and Novice Pair Programmersline, and method coverage but were slower than the novices. The pairs within both groups switched keyboard and mouse possession frequently. Furthermore, most pairs did not share the input devices equally but rather had one partner who is more active than the other.作者: Solace 時間: 2025-3-25 20:53
State of the Practice in Software Effort Estimation: A Survey and Literature Review budget. Traditionally, effort estimation has been used for planning and tracking project resources. Effort estimation methods founded on those goals typically focus on providing exact estimates and usually do not support objectives that have recently become important within the software industry, s作者: Intractable 時間: 2025-3-26 04:01
Testing of Heuristic Methods: A Case Study of Greedy AlgorithmBecause heuristic algorithms do not always deliver exact solutions it is difficult to verify the computed solutions. Such a problem is known as the .. In this paper, we propose to apply Metamorphic Testing (MT) in such situations because MT is designed to alleviate the oracle problem and can be auto作者: Vulvodynia 時間: 2025-3-26 06:35
0302-9743 roceedings of the Second IFIP TC 2 Central and East-European Conference on Software Engineering Techniques, CEE-SET 2008, held in Brno, Czech Republic, in October 2008. The 20 revised full papers presented together with a keynote speech were carefully reviewed and selected from 69 initial submission作者: 聯(lián)合 時間: 2025-3-26 08:27 作者: Landlocked 時間: 2025-3-26 14:54
Mining Design Patterns from Existing Projects Using Static and Run-Time Analysis precised by the run-time analysis. It utilizes own XML based language for the pattern description and the graph theory based approach for the final search. The proof of concept is provided by the tool searching for the patterns in .Net framework intermediate language and presenting the results using common UML-like diagrams, text and tree views.作者: cliche 時間: 2025-3-26 18:01 作者: 字形刻痕 時間: 2025-3-26 23:15 作者: 送秋波 時間: 2025-3-27 04:36 作者: Invertebrate 時間: 2025-3-27 06:34
Transformational Design of Business Processes for SOAss processes is presented. To check equivalence of business processes resulting from the transformations, a BPEL description is converted to Process Algebra (Lotos version) and model-checking techniques are applied. The paper contains also an example of applying the proposed approach in a real-life situation.作者: 金盤是高原 時間: 2025-3-27 13:31 作者: Embolic-Stroke 時間: 2025-3-27 14:16 作者: scoliosis 時間: 2025-3-27 19:27
Conference proceedings 2011ineering Techniques, CEE-SET 2008, held in Brno, Czech Republic, in October 2008. The 20 revised full papers presented together with a keynote speech were carefully reviewed and selected from 69 initial submissions. The papers are organized in topical sections on requirements specification, design, 作者: Magnitude 時間: 2025-3-27 22:07
Towards a Compiler for Business-IT Systemsany proposed solution techniques do not scale to the real-world requirements or they rely on assumptions that are not satisfied by Business-IT systems..As has been observed previously, research in this area is fragmented and does not follow a truly interdisciplinary approach. To overcome this fragme作者: amyloid 時間: 2025-3-28 04:55 作者: 向外供接觸 時間: 2025-3-28 09:33 作者: Gratuitous 時間: 2025-3-28 11:29 作者: 凝結(jié)劑 時間: 2025-3-28 15:35
actions in the “Million Pound Drop”, “Deal or No Deal”, and “Who wants to be a Millionaire?”, and we consider at what stage contestants in “The Weakest Link” should bank the accumulated funds. The idea of Backwards Induction, applied to the short-lived “The Colour of Money”, proves that there . som作者: escalate 時間: 2025-3-28 18:53
Jana Koehler,Thomas Gschwind,Jochen Küster,Hagen V?lzer,Olaf Zimmermann analytical methods has allowed the solution of more-difficult problems. In another area, geochemistry, two things have happened. On the theoretical side there has been a greater integration with physical chemistry, which itself is a highly mathematical subject; and on the practical side there is th作者: STALE 時間: 2025-3-29 01:20 作者: 恭維 時間: 2025-3-29 04:09
Jan Franc?,Petr Hnětynkaeories do not encompass; such problems may open new directions for research. However, I have encountered a substantial number of problems to which mathemati- cians should be able to contribute by providing either rigorous proofs or formal arguments. The majority of scientists with whom I met were en作者: APRON 時間: 2025-3-29 08:03
Michal Dobi?,L’ubomír Majtástures, doors and fire extinguishers as landmarks. The camera setup is such that it provides information (i.e., measurements with error) on the angles subtended at the robot’s position by two landmarks, but not on the distances from the landmarks to the camera. An image of the landmarks is taken in a作者: 現(xiàn)存 時間: 2025-3-29 13:54 作者: 物種起源 時間: 2025-3-29 17:28
Petr Weissd experimental verification. He concentrated on certain limiting cases whereby the governing reaction-advection-diffusion equations reduce to a familiar model of a chromatographic column. He compared computed results based on this model with measured results, and concluded with some suggestions for 作者: arrogant 時間: 2025-3-29 22:43 作者: uveitis 時間: 2025-3-30 03:32 作者: judicial 時間: 2025-3-30 04:43 作者: instate 時間: 2025-3-30 11:59
Jacky Estublier,Anca Daniela Ionita,Tam Nguyenathematical literat ure and a list of open problems which are of interest to the industrial scientists. For some problems partial solution is indicated brie?y. The last chapter of the book contains a short description of solutions to some of the problems raised in the first volume, as weIl as refere作者: 數(shù)量 時間: 2025-3-30 15:10 作者: 變白 時間: 2025-3-30 17:17 作者: Irksome 時間: 2025-3-30 22:54
Thomas Flohrrder to support learners in constructing their knowledge and understanding of physics. These tracks construct different patterns, each of which addresses different teaching goals (Lehavi et al. .; Pospiech et al. 2014; Pospiech G, Eylon BS, Bagno E, Lehavi Y, Geyer MA. .. In The GIREP MPTL 2015 Conf作者: Abrade 時間: 2025-3-31 02:44
Andreas H?fernts who think mathematics is just a tool for physics seem to use it only as a technique and to solve problems by trial and error. On the opposite side, students who use mathematical reasoning coherent with the situation outlined in problems consider that math has a structural role in physics theorie作者: avenge 時間: 2025-3-31 05:29
