机译:使用语言工作台和特定领域的语言进行安全性至关重要的软件开发
Itemis AG, Stuttgart, Germany;
Itemis AG, Stuttgart, Germany;
Itemis AG, Stuttgart, Germany;
TripAdvisor & Groupon, Lyon, France;
Voluntis, Paris, France;
Voluntis, Paris, France;
OHB Syst AG, Bremen, Germany;
Bosch Corp Res, Stuttgart, Germany;
Domain-specific languages; Safety-critical software development; Case study; Language workbenches;
机译:使用语言Workbenches和特定于域的语言进行安全关键软件开发
机译:Mp1:安全关键软件的语言:问题和评估
机译:SA2:安全关键软件的语言:问题和评估
机译:使用特定领域语言理解安全关键系统
机译:实时,安全性至关重要的编程语言的比较。
机译:促进系统生物学模型重用的数学建模语言的特征:软件工程视角
机译:在语言工作台中引导特定于域的元语言
机译:应用软件,领域特定语言和语言设计助理。软件工程