咨询与建议

限定检索结果

文献类型

  • 23 篇 会议
  • 9 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 30 篇 工学
    • 22 篇 计算机科学与技术...
    • 11 篇 软件工程
    • 6 篇 电气工程
    • 3 篇 控制科学与工程
    • 3 篇 航空宇航科学与技...
    • 1 篇 测绘科学与技术
  • 3 篇 理学
    • 2 篇 数学
    • 1 篇 系统科学
  • 1 篇 法学
    • 1 篇 社会学
  • 1 篇 管理学
    • 1 篇 管理科学与工程(可...
    • 1 篇 工商管理

主题

  • 32 篇 model-based soft...
  • 4 篇 formal methods
  • 3 篇 security protoco...
  • 3 篇 correctness pres...
  • 3 篇 code generation
  • 2 篇 mbsd
  • 2 篇 odsd
  • 2 篇 ontology driven ...
  • 2 篇 software cost es...
  • 2 篇 software verific...
  • 2 篇 software modelin...
  • 2 篇 ontology
  • 1 篇 autosar
  • 1 篇 mlp
  • 1 篇 manufacturing ex...
  • 1 篇 application life...
  • 1 篇 information syst...
  • 1 篇 software fmea
  • 1 篇 information syst...
  • 1 篇 problem-based le...

机构

  • 2 篇 brazilian aerona...
  • 1 篇 politecnico di t...
  • 1 篇 iav gmbh powertr...
  • 1 篇 ips incite ctr i...
  • 1 篇 clausthal univer...
  • 1 篇 graz univ techno...
  • 1 篇 univ salzburg so...
  • 1 篇 intelligent syst...
  • 1 篇 sohar inc culver...
  • 1 篇 tech univ munich...
  • 1 篇 politecn torino ...
  • 1 篇 nasa intelligent...
  • 1 篇 univ politecn va...
  • 1 篇 univ texas dalla...
  • 1 篇 univ seville esc...
  • 1 篇 politecn torino ...
  • 1 篇 univ san jorge a...
  • 1 篇 univ sao paulo s...
  • 1 篇 sheridan inst te...
  • 1 篇 univ marburg fb ...

作者

  • 2 篇 pironti alfredo
  • 2 篇 sisto riccardo
  • 2 篇 vieira dias luiz...
  • 2 篇 haav hele-mai
  • 2 篇 matuck gustavo r...
  • 2 篇 da cunha adilson...
  • 1 篇 torres-valderram...
  • 1 篇 andreas rausch
  • 1 篇 steger christian
  • 1 篇 li xin
  • 1 篇 echeverria jorge
  • 1 篇 werner andreas
  • 1 篇 mccallum ryan
  • 1 篇 taylor richard n...
  • 1 篇 martin vogel
  • 1 篇 an xg
  • 1 篇 karen gundy-burl...
  • 1 篇 morales-trujillo...
  • 1 篇 weissenberger be...
  • 1 篇 ignacio panach j...

语言

  • 31 篇 英文
  • 1 篇 其他
检索条件"主题词=Model-based software development"
32 条 记 录,以下是11-20 订阅
排序:
A model based Approach to Web Application Design for Older Adults Using MVC Design Pattern  1
收藏 引用
3rd International Conference on HCI in Business, Government, and Organizations - Information Systems (HCIBGO) Held as Part of 18th International Conference on Human-Computer Interaction (HCI International)
作者: Romanyk, Christopher McCallum, Ryan Salehi, Pejman Sheridan Inst Technol & Adv Learning Sch Appl Comp Oakville ON Canada
Recent studies show sixty percent of older adults access the internet at least once a week. However, poor website usability and design have been identified as two key factors which negatively impact internet usage amo... 详细信息
来源: 评论
software Cost Estimation for the LADEE Mission
Software Cost Estimation for the LADEE Mission
收藏 引用
IEEE Aerospace Conference
作者: Cannon, Howard Gundy-Burlet, Karen NASA Intelligent Syst Div Ames Res Ctr Moffett Field CA 94035 USA
The purpose of the Lunar Atmosphere Dust Environment Explorer (LADEE) mission was to measure the density, composition and time variability of the lunar dust environment. The ground-support and onboard flight software ... 详细信息
来源: 评论
Designing and Applying a Framework for Logic-based model Querying
Designing and Applying a Framework for Logic-Based Model Que...
收藏 引用
36th EUROMICRO Conference on software Engineering and Advanced Applications (SEAA2010)
作者: Dohrmann, Patrick Herold, Sebastian Tech Univ Clausthal Dept Informat Software Syst Engn Julius Albert Str 4 D-38678 Clausthal Zellerfeld Germany
Querying models is one of the most essential and most elementary tasks in model-based software development. More complex activities like, for instance finding source patterns of model transformations, measuring models... 详细信息
来源: 评论
A model-Driven Parser Generator with Reference Resolution Support  12
A Model-Driven Parser Generator with Reference Resolution Su...
收藏 引用
27th IEEE/ACM International Conference on Automated software Engineering (ASE)
作者: Quesada, Luis Univ Granada CITIC Dept Comp Sci & Artificial Intelligence E-18071 Granada Spain
modelCC is a model-based parser generator. model-based parser generators decouple language specification from language processing. This model-driven approach avoids the limitations imposed by parser generators whose l... 详细信息
来源: 评论
Applying Agile Method on Academic Access and Fraud Control System
Applying Agile Method on Academic Access and Fraud Control S...
收藏 引用
11th International Conference on Information Technology - New Generations (ITNG)
作者: Matuck, Gustavo Ravanhani de Oliveira, Rodrigo Luiz Pivetta, Tharcius Augusto Vieira Dias, Luiz Alberto da Cunha, Adilson Marques Brazilian Aeronaut Inst Technol ITA Div Comp Sci Sao Jose Dos Campos SP Brazil
This paper presents an application of agile method on academic access and fraud control system. It describes the conceptualization, development, and testing process of a case study, using Problem based Learning (PBL) ... 详细信息
来源: 评论
Towards model-based Virtual Wet Lab Experiments  14
Towards Model-Based Virtual Wet Lab Experiments
收藏 引用
14th IEEE International Conference on Advanced Learning Technologies (ICALT) - Advanced Technologies for Supporting Open Access to Formal and Informal Learning
作者: Weicht, Martina Univ Rostock Inst Comp Sci D-18055 Rostock Germany
Often virtual wet lab experiments are not exactly experimental. They simply require a series of mouse clicks to be performed in the exact order intended by the programmer. While this does not sound like fun for the st... 详细信息
来源: 评论
model Driven Engineering of Manufacturing Execution Systems using a formal specification Extension of the MES-ML for the generation of MES code  20
Model Driven Engineering of Manufacturing Execution Systems ...
收藏 引用
20th IEEE Conference on Emerging Technologies and Factory Automation (ETFA)
作者: Weissenberger, Benedikt Flad, Stefan Chen, Xinyu Roesch, Susanne Voigt, Tobias Vogel-Heuser, Birgit Tech Univ Munich Inst Automat & Informat Syst D-80290 Munich Germany Tech Univ Munich Chair Food Packaging Technol D-80290 Munich Germany
Industrial manufacturing processes are complex processes, where transparency of every process step is necessary to achieve a high level of quality and efficiency. In order to achieve this transparency, manufacturing e... 详细信息
来源: 评论
Computer aided software FMEA for Unified modeling Language based software
Computer aided software FMEA for Unified Modeling Language b...
收藏 引用
50th Annual Reliability and Maintainability Symposium (RAMS)
作者: Hecht, H An, XG Hecht, M SoHaR Inc Culver City CA 90230 USA
model-based software development, particularly when it utilizes Unified modeling Language (UML) tools, provides artifacts that make programs more transparent. We use these capabilities to automate major steps in the g... 详细信息
来源: 评论
Empirical Studies into UML in Practice: Pitfalls and Prospects  9
Empirical Studies into UML in Practice: Pitfalls and Prospec...
收藏 引用
9th IEEE/ACM International Workshop on modelling in software Engineering (MiSE)
作者: Chaudron, Michel R. V. Chalmers Gothenburg Univ Dept Comp Sci & Engn Gothenburg Sweden
A key open question in the area of software modeling is which costs and benefits it brings to software development and maintenance. For answering this question, better empirical studies into software modeling are need... 详细信息
来源: 评论
Verification Method of Airborne software for Aviation Safety based on model  8
Verification Method of Airborne Software for Aviation Safety...
收藏 引用
IEEE 8th Joint International Information Technology and Artificial Intelligence Conference (ITAIC)
作者: Li Yu Sun Kang Li Xin AVIC First Aircraft Inst Syst Integrat Ctr Xian Shaanxi Peoples R China AVIC First Aircraft Inst Landing Gear Syst Res Inst Xian Shaanxi Peoples R China
This paper discusses the difference between traditional software development and model-based software development. The characteristics and advantages of model-based software development and verification are analyzed. ... 详细信息
来源: 评论