Công bố khoa học
Công cụ trích dẫn
Công bố khoa học
Trích dẫn
Tạp chí khoa học
Cơ quan đơn vị
Quản lý tài khoản
Danh mục đã lưu
Đăng xuất
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
Đi đến bài báo
Trích dẫn
Lưu lại
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
Đi đến bài báo
Trích dẫn
Lưu lại
The TXL source transformation language
Science of Computer Programming
-
Tập 61
- Trang 190-210
- 2006
James R. Cordy
Đi đến bài báo
Trích dẫn
Lưu lại
On regularity in software design
Science of Computer Programming
-
Tập 24
- Trang 221-248
- 1995
R. Banach
Đi đến bài báo
Trích dẫn
Lưu lại
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
Đi đến bài báo
Trích dẫn
Lưu lại
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
Đi đến bài báo
Trích dẫn
Lưu lại
Proof rules and transformations dealing with fairness
Science of Computer Programming
-
Tập 3
- Trang 65-100
- 1983
K.R. Apt
Đi đến bài báo
Trích dẫn
Lưu lại
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
Đi đến bài báo
Trích dẫn
Lưu lại
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
Đi đến bài báo
Trích dẫn
Lưu lại
Extracting Java library subsets for deployment on embedded systems
Science of Computer Programming
-
Tập 45
- Trang 245-270
- 2002
Derek Rayside
,
Kostas Kontogiannis
Đi đến bài báo
Trích dẫn
Lưu lại
Tổng số: 1,109
1
2
3
4
5
6
10