Scribd
Upload
27 views2 pages

Template Chater Book

The document provides a template for an academic paper, including sections for an introduction, literature review, case studies, and conclusion. It also provides guidelines on the length and content for each section. References are included at the end in APA citation format.

Uploaded by

hamdani6958
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as DOCX, PDF, TXT or read online on Scribd
27 views2 pages

Template Chater Book

The document provides a template for an academic paper, including sections for an introduction, literature review, case studies, and conclusion. It also provides guidelines on the length and content for each section. References are included at the end in APA citation format.

Uploaded by

hamdani6958
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as DOCX, PDF, TXT or read online on Scribd
You are on page 1/ 2

Template

Article Title Here In Title Case (Alt+A)


Subtitle In Title Case (Optional)(Alt+S)
Edy Suprayetno
Educational Indonesian Language Department
Universitas Muhammadiyah Sumatera Utara
E-mail: [email protected]
A. Pendahuluan

Berisi latar belakang dan pengantar mengapa topik itu penting dibahas. (Panjang: 1‐2 halaman)

B. Kajian teori

Berisi uraian konsep‐konsep/teori mengenai media baru yang relevan dengan topik yang menjadi bagian
masing‐masing kelompok. Teori/konsep harus berasal dari sumber referensi yang dapat dipercaya
(bukan blog pribadi atau wikipedia). Panjang: 4 halaman.

C. Contoh‐contoh kasus

Berisi penjelasan contoh kasus/implementasi penggunaan media baru sesuai topik yang menjadi bagian
masing‐masing kelompok. Panjang: 4‐5 halaman

D. Penutup/Kesimpulan

Berisi kesimpulan dari tulisan. Panjang: maksimal 1 halaman.

E. Daftar Pustaka
[1] E.M. Clarke, E.A. Emerson, Design and synthesis of synchronization skeletons using branching time temporal
logic, in: D. Kozen (Eds.), Workshop on Logics of Programs, Lecture Notes in Computer Science, vol. 131,
Springer, Berlin, Heidelberg, 1981, pp. 52–71. DOI: https://doi.org/10.1007/BFb0025774
[2] J.P. Queille, J. Sifakis, Specification and verification of concurrent systems in CESAR, in: M. Dezani-
Ciancaglini and U. Montanari (Eds.), Proceedings of the 5th International Symposium on Programming,
Lecture Notes in Computer Science, vol. 137, Springer, Berlin, Heidelberg, 1982, pp. 337–351. DOI:
https://doi.org/10.1007/3-540-11494-7_22
[3] C. Baier, J-P. Katoen, Principles of Model Checking, MIT Press, 2008.
[4] V. Forejt, M. Kwiatkowska, G. Norman, D. Parker, Automated verification techniques for probabilistic
systems, in: M. Bernardo, V. Issarny (Eds.), Proceedings of the Formal Methods for Eternal Networked
Software Systems (SFM), Springer, Berlin, Heidelberg, 2011, pp. 53–113. DOI: https://doi.org/10.1007/978-3-
642-21455-4_3
[5] G.D. Penna, B. Intrigila, I. Melatti, E. Tronci, M.V. Zilli, Bounded probabilistic model checking with the
muralpha verifier, in: A.J. Hu, A.K. Martin (Eds.), Proceedings of the Formal Methods in Computer-Aided
Design, Springer, Berlin, Heidelberg, 2004, pp. 214–229. DOI: https://doi.org/10.1007/978-3-540-30494-4_16
[6] E. Clarke, O. Grumberg, S. Jha, et al., Counterexample-guided abstraction refinement, in: E.A. Emerson, A.P.
Sistla (Eds.), Computer Aided Verification, Springer, Berlin, Heidelberg, 2000, pp. 154–169. DOI:
https://doi.org/10.1007/10722167_15
[7] H. Barringer, R. Kuiper, A. Pnueli, Now you may compose temporal logic specifications, in: Proceedings of the
Sixteenth Annual ACM Symposium on the Theory of Computing (STOC), ACM, 1984, pp. 51–63. DOI:
https://doi.org/10.1145/800057.808665
[8] A. Pnueli, In transition from global to modular temporal reasoning about programs, in: K.R. Apt (Ed.), Logics
and Models of Concurrent Systems, Springer, Berlin, Heidelberg, 1984, pp. 123–144. DOI:
https://doi.org/10.1007/978-3-642-82453-1_5
[9] B. Meyer, Applying "Design by Contract", Computer 25(10) (1992) 40–51. DOI:
https://doi.org/10.1109/2.161279
[10] S. Bensalem, M. Bogza, A. Legay, T.H. Nguyen, J. Sifakis, R. Yan, Incremental component-based
construction and verification using invariants, in: Proceedings of the Conference on Formal Methods in
Computer Aided Design (FMCAD), IEEE Press, Piscataway, NJ, 2010, pp. 257–256.

You might also like