標(biāo)題: Titlebook: Software Technologies; 8th International Jo José Cordeiro,Marten van Sinderen Conference proceedings 2014 The Editor(s) (if applicable) and [打印本頁] 作者: 重要 時間: 2025-3-21 19:29
書目名稱Software Technologies影響因子(影響力)
作者: inscribe 時間: 2025-3-22 00:07
https://doi.org/10.1007/978-3-662-44920-2compilers; context awareness; metamodels; model driven development; model-driven development; modeling; se作者: Rinne-Test 時間: 2025-3-22 03:26
Conference proceedings 2014kjavik, Iceland, in July 2013. The 19 revised full papers presented were carefully reviewed and selected from 121 paper submissions. The papers focus on the following research topics and applications: new software paradigm trends and mainstream software engineering and applications.作者: 窗簾等 時間: 2025-3-22 07:20
José Cordeiro,Marten van SinderenIncludes supplementary material: 作者: 浸軟 時間: 2025-3-22 12:10 作者: Graves’-disease 時間: 2025-3-22 13:13
Software Technologies978-3-662-44920-2Series ISSN 1865-0929 Series E-ISSN 1865-0937 作者: 妨礙 時間: 2025-3-22 19:53 作者: Immortal 時間: 2025-3-23 01:01 作者: 真實的你 時間: 2025-3-23 03:34
Enabling Informed Decision Making Through Mobile Technologies: A Challenge for Software Engineeringthe realization of advanced decision support. In our research we have developed an initial version of a comprehensive framework that allows overcoming the challenges identified. It furthermore highlights which software engineering research lines may help to realize this vision.作者: OTTER 時間: 2025-3-23 05:37 作者: Accessible 時間: 2025-3-23 12:39
1865-0929 ware Technologies, ICSOFT 2013, held in Reykjavik, Iceland, in July 2013. The 19 revised full papers presented were carefully reviewed and selected from 121 paper submissions. The papers focus on the following research topics and applications: new software paradigm trends and mainstream software eng作者: Expiration 時間: 2025-3-23 13:57 作者: constitutional 時間: 2025-3-23 21:53 作者: nascent 時間: 2025-3-23 23:57 作者: Small-Intestine 時間: 2025-3-24 04:27
A Scenario Analysis Method with User Emotion and Its Contextrs, but also by drivers. Evaluations by drivers can be monitored by their positive and negative emotions, since for example, if they find a hazardous situation, they have a negative emotion, “surprised” or “close call.” An ADAS is considered “good”, if it does not cause driver emotions such as these作者: MEEK 時間: 2025-3-24 08:28 作者: LINE 時間: 2025-3-24 11:23 作者: 群島 時間: 2025-3-24 15:22
State of the Art of Dynamic Software Updating in Javaelopers to change the code of their applications while developing and testing them. Hence, developers no longer have to go through the tedious cycle of serializing application state, halting execution, redeploy the binary, restarting, and de-serializing state before they can test the effect of a cod作者: calorie 時間: 2025-3-24 20:04 作者: 不知疲倦 時間: 2025-3-25 00:08
Language Design and Implementation via the Combination of Embedding and Parsingthe development process compared to standalone languages using classical compiler technology. On the other hand, embedded languages may not be that convenient for the end-users as standalone ones with own concrete syntax. This paper describes a method that uses the flexibility of language embedding 作者: 有權(quán) 時間: 2025-3-25 07:11
Enabling Informed Decision Making Through Mobile Technologies: A Challenge for Software Engineeringlack of novel software engineering methods and tools that can master the complexity of mobile environments. Looking at a person in a smart environment, where mobile technologies and sensors are installed to support daily activities, it is observed that informed decision-making with the help of mobil作者: CESS 時間: 2025-3-25 07:37 作者: SPURN 時間: 2025-3-25 14:37
Platform-Independence in Model-Driven Development of Graphical User Interfaces for Multiple Devices the transformation of the same platform-independent model to several platform-dependent GUI models. A clear definition of which characteristics comprise a platform is important, because the platform definition determines which characteristics must not be considered in platform-independent models. I作者: NIL 時間: 2025-3-25 19:43 作者: 相互影響 時間: 2025-3-25 21:59 作者: Flounder 時間: 2025-3-26 02:02
An Ambient ASM Model of Client-to-Client Interaction via Cloud Computing and an Anonymously Accessibhe advantages of the mathematically well-founded software engineering method called . and of the calculus of mobile agents called .. This paper presents an extension for this cloud model which enables client-to-client interaction in an almost direct way, so that the involvement of cloud services is 作者: mydriatic 時間: 2025-3-26 06:18 作者: 綁架 時間: 2025-3-26 11:55
Realizable, Connector-Driven Software Architectures for Practising Engineers languages (ADLs) were developed to provide more comprehensive support. However, so far the application of ADLs in practice has been impeded by at least one of the following problems: (i) advanced formal notations requiring a steep learning curve, (ii) lack of support for user-defined, complex conne作者: mechanism 時間: 2025-3-26 16:04 作者: FAR 時間: 2025-3-26 17:03 作者: 項目 時間: 2025-3-26 21:10 作者: 小溪 時間: 2025-3-27 01:41
Applying a Knowledge Management Technique to Improve Risk Assessment and Effort Estimation of Health changes in process and also in business. The company adapted their existing effort estimation process to be in line with the model that was created, and the use of a mathematically-based model also led to an increase in the number of projects being delegated to this company by other company branches worldwide.作者: CHANT 時間: 2025-3-27 08:06 作者: 2否定 時間: 2025-3-27 11:16
Language Design and Implementation via the Combination of Embedding and Parsingage to a standalone one. Lessons learnt from a project, run in industry-university cooperation and using the presented method, are discussed. Based on these results, a cost model is established that can be used to estimate the potential benefits of this method in case of future language design projects.作者: CEDE 時間: 2025-3-27 15:44
An Ambient ASM Model of Client-to-Client Interaction via Cloud Computing and an Anonymously Accessibate with each other, and the only role the cloud plays is to switch resources from one client to another. We also show in an example at the end of this paper how our novel client-to-client interaction mechanism can be utilized for the development of the anonymously accessible cloud services.作者: 偽善 時間: 2025-3-27 19:15 作者: Pillory 時間: 2025-3-28 01:34 作者: cancer 時間: 2025-3-28 05:54
Early Verification and Validation According to ISO 26262 by Combining Fault Injection and Mutation Tnts of ISO 26262. We show how to use fault injection in combination with mutation based testing to identify defects early in the development process - both theoretically and on a case of self-driving miniature vehicles. The argument is grounded upon the current best practices within the industry, a 作者: 鉆孔 時間: 2025-3-28 06:35
Platform-Independence in Model-Driven Development of Graphical User Interfaces for Multiple Devicesrate their correspondence through classifying state-of-the-art GUI generation approaches. This classification also allows us to illustrate three different mechanisms for achieving multi-device GUI generation in practice.作者: 搜集 時間: 2025-3-28 12:17
Controllability for Nondeterministic Discrete-Event Systems with Datas that capture existing notions of controllability for finite automata with variables do not have desirable algebraic properties, i.e., they are not a preorders. We propose an alternative notion of controllability based on a behavioral relation termed partial bisimulation. We show that the proposed 作者: Tonometry 時間: 2025-3-28 15:50
A Computer-Aided Process from Problems to Laws in Requirements Engineeringttern instances. The manual execution of this method was reported by us to be time consuming and tedious. Hence, in this work we identify the points for (semi-)automation, and we outline a first implementation for the automation. We present our results using a voting system as an example, which was 作者: 后來 時間: 2025-3-28 19:25
Modeling a Flexible Replication Framework for Space-Based Computingze the efficiency and reliability of different replication strategies. Its architecture is built via highly composable coordination patterns that internally interact via space containers. Using the generic framework, this paper shows how different variants of multi-master replication can be realized作者: 動作謎 時間: 2025-3-29 00:44
Realizable, Connector-Driven Software Architectures for Practising Engineersat architectural designs are always realizable, as it is currently extremely easy to obtain unrealizable ones. .?eliminates potentially unrealizable constructs in connector specifications..Finally, .?employs a notation and notions from Design-by-Contract (DbC) for specifying software architecture be作者: 過濾 時間: 2025-3-29 04:16 作者: Orthodontics 時間: 2025-3-29 10:41 作者: Infirm 時間: 2025-3-29 12:23
Rakesh Rana,Miroslaw Staron,Christian Berger,J?rgen Hansson,Martin Nilsson,Fredrik T?rner作者: recede 時間: 2025-3-29 19:04 作者: 有機體 時間: 2025-3-29 22:14 作者: Accommodation 時間: 2025-3-30 01:36 作者: MODE 時間: 2025-3-30 06:52 作者: 遠(yuǎn)地點 時間: 2025-3-30 10:25 作者: Host142 時間: 2025-3-30 13:33
Takako Nakatani,Keita Satoent; disease susceptibility is also increased..Strategic soil management systems, which integrate deep rooted legumes into the crop rotation and planting methods with minimum secondary tillage, provide alternatives that sustain efficient agricultural production. This approach ameliorates compacted s作者: 閑聊 時間: 2025-3-30 16:36 作者: GNAW 時間: 2025-3-30 23:51
hanism design in electronic, optical-electronic, chemical, and aerospace industries is presented in a comprehensible way. ..Topics treated include the method of microparticles flow regulation and its determination in vacuum equipment and mechanisms of electronics; precise mechanisms of nanoscale pre作者: 雀斑 時間: 2025-3-31 01:13
hanism design in electronic, optical-electronic, chemical, and aerospace industries is presented in a comprehensible way. ..Topics treated include the method of microparticles flow regulation and its determination in vacuum equipment and mechanisms of electronics; precise mechanisms of nanoscale pre作者: 膠狀 時間: 2025-3-31 08:51 作者: Working-Memory 時間: 2025-3-31 10:56 作者: Hallmark 時間: 2025-3-31 14:27
