Transformational design of real-time systems Part I: From requirements to program specifications.
- Published in:
- Acta Informatica, 1999, v. 36, n. 1, p. 1, doi. 10.1007/s002360050153
- By:
- Publication type:
- Article
Works matching DE "OCCAM (Computer program language)"
Results: 10
1
2
Transformational design of real-time systems. Part II: From program specifications to programs.
- Published in:
- Acta Informatica, 1999, v. 36, n. 1, p. 67, doi. 10.1007/s002360050154
- By:
- Publication type:
- Article
3
Replay-based Debugging of Occam Programs.
- Published in:
- Software Testing: Verification & Reliability, 1993, v. 3, n. 2, p. 83, doi. 10.1002/stvr.4370030204
- By:
- Publication type:
- Article
4
Occam's Reader: The First Library-Developed Ebook Interlibrary Loan System.
- Published in:
- Collaborative Librarianship, 2015, v. 7, n. 1, p. 13, doi. 10.29087/2015.7.1.03
- By:
- Publication type:
- Article
5
Adaptive selection and validation of models of complex systems in the presence of uncertainty.
- Published in:
- Research in the Mathematical Sciences, 2017, v. 4, n. 1, p. 1, doi. 10.1186/s40687-017-0104-2
- By:
- Publication type:
- Article
6
Occamian Approach in the Image Restoration and Other Inverse Problems.
- Published in:
- International Journal of Imaging Systems & Technology, 1995, v. 6, n. 4, p. 358, doi. 10.1002/ima.1850060409
- By:
- Publication type:
- Article
7
Bayesian Model Averaging for Linear Regression Models.
- Published in:
- Journal of the American Statistical Association, 1997, v. 92, n. 437, p. 179, doi. 10.1080/01621459.1997.10473615
- By:
- Publication type:
- Article
8
Complexity Approximation Principle.
- Published in:
- Computer Journal, 1999, v. 42, n. 4, p. 318, doi. 10.1093/comjnl/42.4.318
- By:
- Publication type:
- Article
9
OCCAM- and C-Based Multiprocessor Environments for UNIX Clusters.
- Published in:
- Computer Journal, 1997, v. 40, n. 1, p. 12, doi. 10.1093/comjnl/40.1.12
- By:
- Publication type:
- Article
10
Correctness of compiling Occam to transputer code.
- Published in:
- Computer Journal, 1996, v. 39, n. 1, p. 52, doi. 10.1093/comjnl/39.1.52
- By:
- Publication type:
- Article