Present and Ulterior Software Engineering
Latest Publications

TOTAL DOCUMENTS

14
(FIVE YEARS 0)

H-INDEX

2
(FIVE YEARS 0)

Published By Springer International Publishing

9783319674247, 9783319674254
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Borealis Bounded Model Checker: The Coming of Age Story

2017 ◽  
pp. 119-137 ◽  
Author(s):  
Marat Akhin ◽  
Mikhail Belyaev ◽  
Vladimir Itsykson
Keyword(s):  
Coming Of Age ◽  
Model Checker

The Changing Face of Model-Driven Engineering

2017 ◽  
pp. 103-118
Author(s):  
Richard F. Paige ◽  
Athanasios Zolotas ◽  
Dimitris Kolovos
Keyword(s):  
Model Driven Engineering ◽  
Model Driven

Sound Simulation and Co-simulation for Robotics

2017 ◽  
pp. 173-194 ◽  
Author(s):  
Ana Cavalcanti ◽  
Alvaro Miyazawa ◽  
Richard Payne ◽  
Jim Woodcock
Keyword(s):  
Sound Simulation

On Language Interfaces

2017 ◽  
pp. 65-75 ◽  
Author(s):  
Thomas Degueule ◽  
Benoit Combemale ◽  
Jean-Marc Jézéquel

scholarly journals Microservices: A Language-Based Approach

2017 ◽  
pp. 217-225 ◽  
Author(s):  
Claudio Guidi ◽  
Ivan Lanese ◽  
Manuel Mazzara ◽  
Fabrizio Montesi

Intrinsic Redundancy for Reliability and Beyond

2017 ◽  
pp. 153-171
Author(s):  
Alberto Goffi ◽  
Alessandra Gorla ◽  
Andrea Mattavelli ◽  
Mauro Pezzè

How to Make Visual Modeling More Attractive to Software Developers

2017 ◽  
pp. 139-152 ◽  
Author(s):  
Andrey Terekhov ◽  
Timofey Bryksin ◽  
Yurii Litvinov
Keyword(s):  
Software Developers ◽  
Visual Modeling
Load More ...
Sign in / Sign up

Export Citation Format

Share Document