標(biāo)題: Titlebook: Software Engineering Research, Management and Applications; Roger Lee Book 2008 Springer-Verlag Berlin Heidelberg 2008 Extension.Requireme [打印本頁] 作者: damped 時間: 2025-3-21 17:51
書目名稱Software Engineering Research, Management and Applications影響因子(影響力)
書目名稱Software Engineering Research, Management and Applications影響因子(影響力)學(xué)科排名
書目名稱Software Engineering Research, Management and Applications網(wǎng)絡(luò)公開度
書目名稱Software Engineering Research, Management and Applications網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Software Engineering Research, Management and Applications被引頻次
書目名稱Software Engineering Research, Management and Applications被引頻次學(xué)科排名
書目名稱Software Engineering Research, Management and Applications年度引用
書目名稱Software Engineering Research, Management and Applications年度引用學(xué)科排名
書目名稱Software Engineering Research, Management and Applications讀者反饋
書目名稱Software Engineering Research, Management and Applications讀者反饋學(xué)科排名
作者: Delude 時間: 2025-3-22 00:14 作者: Incorruptible 時間: 2025-3-22 04:15 作者: 溝通 時間: 2025-3-22 06:01
Resolving Complexity and Interdependence in Software Project Management Antipatterns Using the Depenagers in order to resolve antipatterns that occur in a software project in a timely manner. The approach is exemplified through a DSM of 25 attributes of 16 related software project management antipatterns that appear in the literature and the Web.作者: exceptional 時間: 2025-3-22 09:14 作者: TRAWL 時間: 2025-3-22 13:58
Model Checking for UML Use Cases, be composed based on state transitions, whereas the logic based use case models do not explicitly include the states and their transitions. Therefore we introduce a state identification process in the logic based use case models. A supermarket checkout system is used to show how the proposed process works.作者: BATE 時間: 2025-3-22 18:12
A Variability Management Strategy for Software Product Lines of Brazilian Satellite Launcher Vehiclagement of variability is a key and challenging issue in the development of the software product line and product derivation. This work presents a strategy for the variability management for software product line of Brazilian Satellite Launcher Vehicles. After modeling the variability, extracting th作者: 周年紀(jì)念日 時間: 2025-3-22 23:06
Use of Questionnaire-Based Appraisal to Improve the Software Acquisition Process in Small and Mediue Engineering Institute (SEI) published questionnaire; it represents a rigorous technique to collect data in a facilitated manner. The proposed questionnaire focuses in Supplier Agreement Management Process Area of the Capability Maturity Model Integration for Development v1.2. The objective is to o作者: 剛開始 時間: 2025-3-23 03:55
,Deploying Component–Based Applications: Tools and Techniques,r complex component-based applications that constitute many heterogeneous components with various hardware and software requirements, this deployment process can become one of the most burning challenges. In this situation, it is difficult to manually identify a valid deployment configuration that s作者: ordain 時間: 2025-3-23 06:37
Towards Improving End-to-End Performance of Distributed Real-Time and Embedded Systems Using Baseliits functional and quality-of-service (QoS) needs. Different deployments and configurations often impact systemic QoS concerns, such as end-to-end response time. Traditional techniques for understanding systemic QoS rely on complex analytical and simulation models, however, such techniques provide p作者: 團(tuán)結(jié) 時間: 2025-3-23 10:18
Preserving Intentions in SOA Business Process Development,eling Notation (BPMN), which allows their development even by persons without programming skills. Being abstract and high-level BPMN is not suitable for direct execution, though. The natural choice for implementing business processes is the Business Process Executable Language (BPEL), which is direc作者: 曲解 時間: 2025-3-23 15:12
Quality Aware Flattening for Hierarchical Software Architecture Models,M) is usually organized as a hierarchical model via composite components for complexity control and recursive composition. However, platform-specific SA models (PSM) have to be flat because many platforms (e.g. CORBA and J2EE) do not support composite components directly. Therefore, flattening hiera作者: deficiency 時間: 2025-3-23 18:43 作者: Microaneurysm 時間: 2025-3-23 23:50
Automatic Extraction of Pre- and Postconditions from Z Specifications,semantics. They also hold a special place in software testing phase because formal specifications provide a good opportunity for automation of the testing process. Many formal specification based software testing techniques use Finite State Machines (FSMs) because they are quite useful in test seque作者: 復(fù)習(xí) 時間: 2025-3-24 03:03
Towards a SPEM v2.0 Extension to Define Process Lines Variability Mechanisms,n of processes which are adapted to different contexts, SPEM does not include the appropriate mechanisms for modelling them. The objective of this paper is to suggest a SPEM extension which will support the variability implied in a Software Process Line. New variability mechanisms based on the use o作者: vitrectomy 時間: 2025-3-24 09:52 作者: 規(guī)范就好 時間: 2025-3-24 14:07 作者: PANEL 時間: 2025-3-24 18:07
Modular Compilation of a Synchronous Language,ted as a means of increasing the reliability of systems, especially those which are safety or business critical. It is still difficult to develop automatic specification and verification tools due to limitations like state explosion, undecidability, etc... In this work, we design a new specification作者: Collision 時間: 2025-3-24 19:10
Describing Active Services for Publication and Discovery,ive services contain functionality that cannot be limited to initiative in a one direction only. We have earlier introduced the notion of active services in the context of SOA, concentrating on modeling these using UML 2 Collaborations. Here we suggest how active services and their behavior can be d作者: 內(nèi)部 時間: 2025-3-25 00:52
Refactoring-Based Adaptation of Adaptation Specifications,s and require adaptation. To automate the latter, developers usually need to provide .. Whereas writing such specifications is cumbersome and error-prone, maintaining them is even harder, because any evolutionary component change may invalidate existing specifications. We show how the use of a histo作者: 流逝 時間: 2025-3-25 07:12 作者: mitral-valve 時間: 2025-3-25 10:35
An Embedded System Curriculum for Undergraduate Software Engineering Program,ents, higher standards are set for qualified embedded engineers’ technical and soft skills. Considering the challenges imposed to the embedded system education, and given the resource constraints in universities, in this paper, we propose a practical embedded system curriculum for software engineeri作者: Additive 時間: 2025-3-25 14:57
Model Checking for UML Use Cases,tural language are used in this modeling. Even though this approach provides us with convenient ways to develop large scale software and systems, it seems difficult to assure the correctness of the models, because of insufficient formalization in UML. This paper proposes a formal model verification 作者: 現(xiàn)暈光 時間: 2025-3-25 16:36 作者: amorphous 時間: 2025-3-25 20:05
Genetic Algorithm and Variable Neighborhood Search for Point to Multipoint Routing Problem, Tree algorithm than those reported in [3]. The second part of the study involves designing three algorithms based on the Variable Neighborhood Search. These algorithms differ in the local search heuristics employed in searching the neighborhood. The performance of these algorithms are compared on a modified set of data taken from the OR library.作者: meditation 時間: 2025-3-26 01:05
1860-949X n Software Engineering, Research, Management and Applications (SERA 2008) was held in Prague in the Czech Republic on August 20 – 22. SERA ’08 featured excellent theoretical and practical contributions in the areas of formal methods and tools, requirements engineering, software process models, commu作者: inundate 時間: 2025-3-26 06:08
Book 2008public on August 20 – 22. SERA ’08 featured excellent theoretical and practical contributions in the areas of formal methods and tools, requirements engineering, software process models, communication systems and networks, software quality and evaluation, software engineering, networks and mobile co作者: liposuction 時間: 2025-3-26 09:00 作者: intelligible 時間: 2025-3-26 13:49
Refactoring-Based Adaptation of Adaptation Specifications,one, maintaining them is even harder, because any evolutionary component change may invalidate existing specifications. We show how the use of a history of structural component changes (.) enables automatic adaptation of existing adaptation specifications; the latter are written once and need not be maintained.作者: hemoglobin 時間: 2025-3-26 17:11 作者: 誰在削木頭 時間: 2025-3-27 01:00 作者: 帽子 時間: 2025-3-27 01:37 作者: 失望未來 時間: 2025-3-27 07:51 作者: 漂亮 時間: 2025-3-27 12:02 作者: 暫時休息 時間: 2025-3-27 16:28 作者: mortgage 時間: 2025-3-27 18:30
Ivan Garcia,Carla Pacheco,Pavel Sumanos and let- get-right-to-business muscularity. And, mainly, there is a huge lode of problems, very good ones worked out and very good ones left to the reader to work out.978-0-387-74646-3978-0-387-74647-0作者: 態(tài)度暖昧 時間: 2025-3-28 00:23
Lucia Kapová,Tomá? Bure?,Petr Hnětynkas and let- get-right-to-business muscularity. And, mainly, there is a huge lode of problems, very good ones worked out and very good ones left to the reader to work out.978-0-387-74646-3978-0-387-74647-0作者: 周年紀(jì)念日 時間: 2025-3-28 05:00 作者: 獨(dú)裁政府 時間: 2025-3-28 09:27 作者: Keratin 時間: 2025-3-28 14:14 作者: 閑逛 時間: 2025-3-28 16:47
1860-949X est 17 papers from those papers accepted for presentation at the conference in order to publish them in this volume. The papers were chosen based on review scores submitted by members or the program committee, and underwent further rounds of rigorous review..978-3-642-08967-1978-3-540-70561-1Series ISSN 1860-949X Series E-ISSN 1860-9503 作者: 致敬 時間: 2025-3-28 18:48
Software Engineering Research, Management and Applications作者: anaphylaxis 時間: 2025-3-29 01:04
Preserving Intentions in SOA Business Process Development, BPMN. In this paper we address this problem by presenting a non-trivial enhancement of the existing transformation algorithm [14]. Our approach provides a complete transformation while preserving a large set of intentions expressed in the BPMN description, which makes it also suitable in the contex作者: 協(xié)奏曲 時間: 2025-3-29 06:19 作者: RENIN 時間: 2025-3-29 09:48 作者: blister 時間: 2025-3-29 13:53
e. The beginning of this transition is due to outstanding personalities. When mathematics itself has reached a high level, this transition from applied mathematics to a new mathematical field may occur on a very high level of abstraction. Moreover the empirical background of this field may sometimes作者: Hallmark 時間: 2025-3-29 16:50 作者: labyrinth 時間: 2025-3-29 22:29
Abbas Heydarnooris. It is short on anecdote and reminiscence, but there is charm in its youthful brusqueness and let- get-right-to-business muscularity. And, mainly, there is a huge lode of problems, very good ones worked out and very good ones left to the reader to work out.作者: Cirrhosis 時間: 2025-3-30 00:30
James H. Hill,Aniruddha Gokhales. It is short on anecdote and reminiscence, but there is charm in its youthful brusqueness and let- get-right-to-business muscularity. And, mainly, there is a huge lode of problems, very good ones worked out and very good ones left to the reader to work out.作者: Albinism 時間: 2025-3-30 07:15 作者: Dorsal-Kyphosis 時間: 2025-3-30 11:30 作者: 沐浴 時間: 2025-3-30 16:01
Dimitrios Settas,Ioannis Stamelosntended as a contribution to the epistemological debate regarding the “unreasonable effectiveness,” or applicability of mathematics to the natural sciences. I argue that if we take seriously the analogy between mathematics and tools and instruments, this effectiveness is rather similar to that of to作者: 粘 時間: 2025-3-30 17:13
Gang Shenntended as a contribution to the epistemological debate regarding the “unreasonable effectiveness,” or applicability of mathematics to the natural sciences. I argue that if we take seriously the analogy between mathematics and tools and instruments, this effectiveness is rather similar to that of to作者: irritation 時間: 2025-3-30 20:53
Yoshiyuki Shinkawantended as a contribution to the epistemological debate regarding the “unreasonable effectiveness,” or applicability of mathematics to the natural sciences. I argue that if we take seriously the analogy between mathematics and tools and instruments, this effectiveness is rather similar to that of to作者: Frequency-Range 時間: 2025-3-31 00:56
ntended as a contribution to the epistemological debate regarding the “unreasonable effectiveness,” or applicability of mathematics to the natural sciences. I argue that if we take seriously the analogy between mathematics and tools and instruments, this effectiveness is rather similar to that of to作者: Hallowed 時間: 2025-3-31 06:40
or the first Session. That is the social economical background. I think that even in mathematics this background is of greatest importance, not only for the early development of mathematics but also for the tremendous achievements and new mathematical ideas in our century. I claim that basically the作者: 不能仁慈 時間: 2025-3-31 12:32
Luciana Akemi Burgareli,Selma S. S. Melnikoff,Mauricio G. V. Ferreiraor the first Session. That is the social economical background. I think that even in mathematics this background is of greatest importance, not only for the early development of mathematics but also for the tremendous achievements and new mathematical ideas in our century. I claim that basically the作者: 無法取消 時間: 2025-3-31 15:31
Ivan Garcia,Carla Pacheco,Pavel Sumanothe previous one, allowing the reader to uncover new methodsThis book joins several other books available for the preparation of young scholars for a future that involves solving mathematical pr- lems. This training not only increases their ?tness in competitions, but may also help them in other end作者: chiropractor 時間: 2025-3-31 20:14
Abbas Heydarnooriining not only increases their ?tness in competitions, but may also help them in other endeavors they may engage in the future. The book is a diversi?ed collection of problems from all areas of high school mathematics, and is written in a lively and engaging way. The introductory explanations and wo作者: creatine-kinase 時間: 2025-3-31 22:06 作者: 合法 時間: 2025-4-1 03:26
