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
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
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
Aspect-oriented model-driven skeleton code generation: A graph-based transformation approach
Science of Computer Programming - Tập 75 - Trang 689-725 - 2010
Jeannette Bennett, Kendra Cooper, Lirong Dai
Proof rules and transformations dealing with fairness
Science of Computer Programming - Tập 3 - Trang 65-100 - 1983
K.R. Apt
Runtime enforcement of regular timed properties by suppressing and delaying events
Science of Computer Programming - Tập 123 - Trang 2-41 - 2016
Yliès Falcone, Thierry Jéron, Hervé Marchand, Srinivas Pinisetty
A formal, scalable approach to semantic interoperability
Science of Computer Programming - Tập 192 - Trang 102426 - 2020
Jim Davies, James Welch, David Milward, Steve Harris
Extracting Java library subsets for deployment on embedded systems
Science of Computer Programming - Tập 45 - Trang 245-270 - 2002
Derek Rayside, Kostas Kontogiannis
Tổng số: 1,109   
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 10