Stop the war!
Остановите войну!
for scientists:
default search action
Science of Computer Programming, Volume 156
Volume 156, May 2018
- Guillaume Brau, Jérôme Hugues, Nicolas Navet:
Towards the systematic analysis of non-functional properties in Model-Based Engineering for real-time embedded systems. 1-20 - Richard Banach:
Modelling, formal refinement and partitioning strategies for a small aircraft fuel pump system in Hybrid Event-B. 21-44 - Harold Thimbleby, David Williams:
A tool for publishing reproducible algorithms & A reproducible, elegant algorithm for sequential experiments. 45-67 - Paul Ralph:
The two paradigms of software development research. 68-89 - Mario Andrés Paredes-Valverde, María del Pilar Salas-Zárate, Ricardo Colomo Palacios, Juan Miguel Gómez-Berbís, Rafael Valencia-García:
An ontology-based approach with which to assign human resources to software projects. 90-103 - Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara, Atsushi Igarashi:
Method safety mechanism for asynchronous layer deactivation. 104-120
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.