咨询与建议

限定检索结果

文献类型

  • 66 篇 会议
  • 38 篇 期刊文献
  • 1 册 图书

馆藏范围

  • 105 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 97 篇 工学
    • 77 篇 计算机科学与技术...
    • 52 篇 软件工程
    • 13 篇 电气工程
    • 7 篇 控制科学与工程
    • 4 篇 信息与通信工程
    • 1 篇 机械工程
    • 1 篇 电子科学与技术(可...
    • 1 篇 土木工程
    • 1 篇 测绘科学与技术
    • 1 篇 航空宇航科学与技...
  • 13 篇 管理学
    • 10 篇 管理科学与工程(可...
    • 2 篇 工商管理
    • 1 篇 公共管理
    • 1 篇 图书情报与档案管...
  • 2 篇 教育学
    • 2 篇 教育学
  • 1 篇 经济学
    • 1 篇 理论经济学
  • 1 篇 法学
    • 1 篇 政治学
  • 1 篇 文学
    • 1 篇 新闻传播学
  • 1 篇 理学
    • 1 篇 化学
  • 1 篇 农学
    • 1 篇 作物学
  • 1 篇 医学
    • 1 篇 基础医学(可授医学...

主题

  • 105 篇 model-driven sof...
  • 10 篇 model transforma...
  • 5 篇 domain-specific ...
  • 4 篇 uml
  • 4 篇 industry 4.0
  • 4 篇 software enginee...
  • 4 篇 domain-specific ...
  • 4 篇 code generation
  • 3 篇 component-based ...
  • 3 篇 software evoluti...
  • 3 篇 model transforma...
  • 3 篇 requirements eng...
  • 3 篇 software migrati...
  • 3 篇 cyber-physical s...
  • 3 篇 simplicity
  • 3 篇 domain-specific ...
  • 2 篇 software visuali...
  • 2 篇 software design ...
  • 2 篇 software analysi...
  • 2 篇 model checking

机构

  • 2 篇 univ augsburg in...
  • 2 篇 univ munster erc...
  • 2 篇 univ augsburg so...
  • 2 篇 univ novi sad fa...
  • 2 篇 univ potsdam dep...
  • 2 篇 wageningen univ ...
  • 1 篇 vienna univ tech...
  • 1 篇 univ murcia murc...
  • 1 篇 penn state univ ...
  • 1 篇 univ malaga ets ...
  • 1 篇 univ canterbury ...
  • 1 篇 ibm res india ne...
  • 1 篇 software compete...
  • 1 篇 univ munster erc...
  • 1 篇 norwegian univ s...
  • 1 篇 univ marburg mar...
  • 1 篇 winona state uni...
  • 1 篇 complex sci hub ...
  • 1 篇 bournemouth univ...
  • 1 篇 hochschule emden...

作者

  • 4 篇 alonso diego
  • 4 篇 reif wolfgang
  • 4 篇 stenzel kurt
  • 4 篇 kuchen herbert
  • 3 篇 schlegel christi...
  • 3 篇 quesada luis
  • 3 篇 bosselmann steve
  • 3 篇 bauer bernhard
  • 3 篇 margaria tiziana
  • 3 篇 borek marian
  • 3 篇 cubero juan-carl...
  • 3 篇 berzal fernando
  • 3 篇 tekinerdogan bed...
  • 3 篇 vicente-chicote ...
  • 3 篇 katkalov kuzman
  • 2 篇 zorrilla marta
  • 2 篇 rieger christoph
  • 2 篇 vila katia
  • 2 篇 mazon jose-norbe...
  • 2 篇 assmann uwe

语言

  • 97 篇 英文
  • 7 篇 其他
  • 1 篇 西班牙文
检索条件"主题词=Model-driven software development"
105 条 记 录,以下是11-20 订阅
排序:
Continual Human Value Analysis in software development: A Goal model Based Approach  28
Continual Human Value Analysis in Software Development: A Go...
收藏 引用
28th IEEE International Requirements Engineering Conference (RE)
作者: Perera, Harsha Mussbacher, Gunter Hussain, Waqar Shams, Rifat Ara Nurwidyantoro, Arif Whittle, Jon Monash Univ FIT Clayton Vic Australia McGill Univ ECE Montreal PQ Canada
software failures that demonstrate violations of human values can result in financial losses, reputation damages and social implications. Therefore, integrating human values into software is vital to satisfy stakehold... 详细信息
来源: 评论
modeling test cases for security protocols with SecureMDD
收藏 引用
COMPUTER NETWORKS 2014年 第0期58卷 99-111页
作者: Katkalov, Kuzman Moebius, Nina Stenzel, Kurt Borek, Marian Reif, Wolfgang Univ Augsburg Augsburg Germany Dept Software Engn Augsburg Germany Univ Ulm D-89069 Ulm Germany
Designing and executing test cases for security-critical protocols is a technically complicated and tedious process. SecureMDD is a model-driven approach that enables development of security-critical applications base... 详细信息
来源: 评论
Enforceable component-based realtime contracts
收藏 引用
REAL-TIME SYSTEMS 2007年 第1期35卷 1-31页
作者: Haertig, Hermann Zschaler, Steffen Pohlack, Martin Aigner, Ronald Goebel, Steffen Pohl, Christoph Roettger, Simone Tech Univ Dresden Dept Comp Sci D-01062 Dresden Germany SAP AG SAP Res CEC Dresden Dresden Germany
We present enforceable component-based realtime contracts, the first extension of component-based software engineering technology that comprehensively supports adaptive realtime systems from specification all the way ... 详细信息
来源: 评论
An approach for the systematic development of domain-specific languages
收藏 引用
software-PRACTICE & EXPERIENCE 2009年 第15期39卷 1253-1292页
作者: Strembeck, Mark Zdun, Uwe Vienna Univ Econ & Business WU Vienna New Media Lab Inst Informat Syst Vienna Austria Vienna Univ Technol Inst Informat Syst Distributed Syst Grp Vienna Austria
Building tailored software systems for a particular application domain is a complex task. For this reason, domain-specific languages (DSLs) receive a constantly growing attention in recent years. So far the main focus... 详细信息
来源: 评论
From Teleo-Reactive specifications to architectural components: A model-driven approach
收藏 引用
JOURNAL OF SYSTEMS AND software 2012年 第11期85卷 2504-2518页
作者: Sanchez, Pedro Alonso, Diego Miguel Morales, Jose Javier Navarro, Pedro Univ Politecn Cartagena Syst & Elect Engn Div DSIE Res Grp Cartagena Spain
The Teleo-Reactive approach designed by N.J. Nilsson offers a high-level programming model that permits the development of reactive systems, such as robotic vehicles. Teleo-Reactive programs are written in a manner th... 详细信息
来源: 评论
Reusable and generic design decisions for developing UML-based domain-specific languages
收藏 引用
INFORMATION AND software TECHNOLOGY 2017年 92卷 49-74页
作者: Hoisl, Bernhard Sobernig, Stefan Strembeck, Mark Vienna Univ Econ & Business WU Welthandelspl 1 A-1020 Vienna Austria Secure Business Austria SBA Res gGmbH Favoritenstr 16 A-1040 Vienna Austria Complex Sci Hub Vienna CSH Josefstadter Str 39 A-1080 Vienna Austria
Context: In recent years, UML-based domain-specific model languages (DSMLs) have become a popular option in model-driven development projects. However, making informed design decisions for such DSMLs involves a large ... 详细信息
来源: 评论
Automatic Code Generation for Real-Time Systems: a development Approach based on Components, models, and Frameworks
收藏 引用
REVISTA IBEROAMERICANA DE AUTOMATICA E INFORMATICA INDUSTRIAL 2012年 第2期9卷 170-181页
作者: Alonso, Diego Angel Pastor, Juan Sanchez, Pedro Alvarez, Barbara Vicente-Chicote, Cristina Univ Politecn Cartagena Hosp Marina DSIE Cartagena 30202 Spain
Real-Time Systems have some characteristics that make them particularly sensitive to architectural decisions. The use of Frameworks and Components has proven effective in improving productivity and software quality, e... 详细信息
来源: 评论
ParDSL: a domain-specific language framework for supporting deployment of parallel algorithms
收藏 引用
software AND SYSTEMS modelING 2019年 第5期18卷 2907-2935页
作者: Tekinerdogan, Bedir Arkin, Ethem Wageningen Univ Informat Technol Wageningen Netherlands Aselsan Ankara Turkey
An important challenge in parallel computing is the mapping of parallel algorithms to parallel computing platforms. This requires several activities such as the analysis of the parallel algorithm, the definition of th... 详细信息
来源: 评论
Extracting models from source code in software modernization
收藏 引用
software AND SYSTEMS modelING 2014年 第2期13卷 713-734页
作者: Canovas Izquierdo, Javier Luis Garcia Molina, Jesus Univ Murcia Murcia Spain Univ Murcia Fac Informat Dept Informat & Sistemas E-30071 Murcia Spain EMN LINA INRIA AtlanMod Nantes France
model-driven software modernization is a discipline in which model-driven development (MDD) techniques are used in the modernization of legacy systems. When existing software artifacts are evolved, they must be transf... 详细信息
来源: 评论
Architectural Design of Cloud Applications: A Performance-Aware Cost Minimization Approach
收藏 引用
IEEE TRANSACTIONS ON CLOUD COMPUTING 2022年 第3期10卷 1571-1591页
作者: Ciavotta, Michele Gibilisco, Giovanni Paolo Ardagna, Danilo Di Nitto, Elisabetta Lattuada, Marco da Silva, Marcos Aurelio Almeida Univ Milano Bicocca Dipartimento Informat Sistemist & Comunicaz I-20126 Milan Italy Politecnico Milano Dipartimento Elettron Informaz & Bioingn I-20133 Milan Italy Softeam F-75016 Paris France
Cloud Computing has assumed a relevant role in the ICT, profoundly influencing the life-cycle of modern applications in the manner they are designed, developed, and deployed and operated. In this article, we tackle th... 详细信息
来源: 评论