Science of Computer Programming

Công bố khoa học tiêu biểu

* Dữ liệu chỉ mang tính chất tham khảo

Sắp xếp:  
Constrained narrowing for conditional equational theories modulo axioms
Science of Computer Programming - Tập 112 - Trang 24-57 - 2015
Andrew Cholewa, Santiago Escobar, José Meseguer
Modular, crash-safe refinement for ASMs with submachines
Science of Computer Programming - Tập 131 - Trang 3-21 - 2016
Gidon Ernst, Jörg Pfähler, Gerhard Schellhorn, Wolfgang Reif
A fairness-based refinement strategy to transform liveness properties in Event-B models
Science of Computer Programming - Tập 225 - Trang 102907 - 2023
Chenyang Zhu, Michael Butler, Corina Cirstea, Thai Son Hoang
Dynamic state machines for modelling railway control systems
Science of Computer Programming - Tập 133 - Trang 116-153 - 2017
M. Benerecetti, R. De Guglielmo, U. Gentile, S. Marrone, N. Mazzocca, R. Nardone, A. Peron, L. Velardi, V. Vittorini
On the relation between context-free grammars and parsing expression grammars
Science of Computer Programming - Tập 89 - Trang 235-250 - 2014
Fabio Mascarenhas, Sérgio Medeiros, Roberto Ierusalimschy
The TXL source transformation language
Science of Computer Programming - Tập 61 - Trang 190-210 - 2006
James R. Cordy
Correctness of data representations involving heap data structures
Science of Computer Programming - Tập 50 - Trang 129-160 - 2004
Uday S. Reddy, Hongseok Yang
Abstract Behavior Types: a foundation model for components and their composition
Science of Computer Programming - Tập 55 Số 1-3 - Trang 3-52 - 2005
On regularity in software design
Science of Computer Programming - Tập 24 - Trang 221-248 - 1995
R. Banach
Model driven engineering of accessible and multi-platform graphical user interfaces by parameterized model transformations
Science of Computer Programming - Tập 172 - Trang 63-101 - 2019
Amina Bouraoui, Imen Gharbi
Tổng số: 1,109   
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 10