System Level Design with Rosetta

System Level Design with Rosetta

Volumn , Issue , 2007, Pages

  Alexander, Perry ^a  

^a UNIVERSITY OF KANSAS   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 85013714216     PISSN: None     EISSN: None     Source Type: Book    
DOI: 10.1016/B978-1-55860-771-2.X5026-9     Document Type: Book

References (53)

1. Accellera System Verilog 3.0: Accellera's Extensions to Verilog 2002.
2. Alexander Perry, Kong Cindy Rosetta: Semantic support for model-centered systems-level design. IEEE Computer November 2001, 34(11):64-70.
3. Ashenden P. The Designers Guide to VHDL 1996, Morgan Kaufmann Publishers.
4. Bjesse Per, Claessen Koen, Sheeran Mary, Singh Satnam Lava: Hardware design in haskell. ACM SIGPLAN Notices January 1999, 34:174-184. Baltimore, MD, September 1998, (1).
5. Baraona P., Penix J., Alexander P. Vspec: A declarative requirements specification language for vhdl. Current Issues in Electronic Modeling 1995, 51-75. chapter 3, Kluwer Academic Publishers, San Mateo, CA. J.-M. Berge, O. Levia, J. Rouillard (Eds.).
6. Burch J.R., Passerone R., Sangiovanni-Vincentelli A.L. Overcoming heterophobia: Modeling concurrency in heterogeneous systems. Proceedings of the Second International Conference on Application of Concurrency to System Design 2001.
7. M. Clavel, F. Duran, S. Eker, P. Lincoln, N. Marti-Oliet, J. Meseguer, and J. Quesada. Maude: Specification and Programming in Rewriting Logic. SRI International. System Documentation.
8. Alfaro Luca de, Henzinger Thomas A. Interface automata. ESEC/FSE 01: Proceedings of the Joint 8th European Engineering Conference and 9th Symposium on the Foundations of Software Engineering 2001, 109-120. Vienna, Austria, September.
9. Davis J., et al. Ptolemy II-Heterogeneous concurrent modeling and design in java 2000, University of California, Boston, MA.
10. Dijkstra Edsger J. On the economy of doing mathematics. Mathematics of Program Construction 1992, 2-10. Springer-Verlag, Berkeley, CA. R.S. Bird, C.C. Morgan, J.C.P. Woodcock (Eds.).
11. Ehrig H., Mahr B. Fundamentals of Algebraic Specifications 1: Equations and Initial Semantics. EATCS Mongraphs on Theoretical Computer Science 1985, Springer-Verlag, New York, NY.
12. Finkelstein A., Kramer J., Nuseibeh B., Finkelstein L., Goedicke M. Viewpoints: A framework for integrating multiple perspectives in system development. International Journal of Software Engineering and Knowledge Engineering March 1992, 2(1):31-58. World Scientific Publishing Co.
13. Guttag John V., Horning James J. Larch: Languages and Tools for Formal Specification 1993, Springer-Verlag, Berlin.
14. Grötker T., Liao S., Martin G., Swan S. System Design with SystemC 2002, Kluwer Academic Press, New York, NY.
15. Gries D. The Science of Programming. Texts and Monographs in Computer Science 1981, Springer-Verlag, Dordrecht, The Netherlands.
16. UML Metamodel September 1997, http://www.rational.com., The UML GroupThe UML Group, Rational Software Corporation, New York, NY. 1.1 edition.
17. UML Semantics July 1997, http://www.rational.com., The UML GroupThe UML Group, Rational Software Corporation, Santa Clara, CA. 1.1 edition.
18. Goguen Joseph, Winkler Timothy, Meseguer José, Futatsugi Kokichi, Jouannaud Jean-Pierre Introducing OBJ. Applications of Algebraic Specification Using OBJ 1993, Cambridge, MA. J. Goguen (Ed.).
19. Hehner Eric C.R. A Practical Theory of Programming. Texts and Monographs in Computer Science 1993, Springer-Verlag, Santa Clara, CA.
20. Henzinger Thomas A. The theory of hybrid automata. Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science 1996, 278-292. New Brunswick, NJ, July.
21. Henzinger Thomas A., Horowitz Benjamin, Kirsch Christoph Meyer Giotto: A time-triggered language for embedded programming. Lecture Notes in Computer Science 2001, 2211:166+.
22. Hoare C.A.R. Communicating Sequential Processes 1985, Prentice-Hall, New York, NY.
23. Hudak P. The Haskell School of Expression 2000, Cambridge University Press, Englewood Cliffs, NJ.
24. Hutton Graham A tutorial on the universality and expressiveness of fold. Journal of Functional Programming 1999, 9(4):355-372.
25. Iso 10646-1:2001 unicode 3.2 standard. ISO Standard.
26. IEEE Standard VHDL Language Reference Manual 1994, IEEE, New York, NY.
27. Standard Verilog Hardware Description Language Reference Manual 1995, IEEE, New York, NY.
28. Jones C.B. Systematic Software Development Using VDM. International Series in Computer Sience 1990, Prentice Hall, New York, NY. 2nd edition.
29. Jones Simon Peyton Haskell 98 Language and Libraries 2003, Cambridge University Press, New York, NY.
30. Jacobs Bart, Rutten Jan A tutorial on (co)algebras and (co)induction. EATCS Bulletin 1997, 62:222-259.
31. Kong C., Alexander P. Modeling model of computation ontologies in Rosetta. Proceedings of the Formal Specification of Computer-Based Systems Workshop (FSCBS'02) 2002.
32. Kong C., Alexander P. Multi-faceted requirements modeling and analysis. Proceedings of the IEEE Joint International Requirements Engineering Conference (RE'02) 2002.
33. Meertens Lambert Category theory for program construction by calculation. CWI, Amsterdam and Department of Computing Science September 1995, Utrecht University, New York, NY.
34. Meijer Erik, Fokkinga Maarten, Paterson Ross Functional programming with bananas, lenses, envelopes and barbed wire. Proceedings of the 5th ACM Conference on Functional Programming Languages and Computer Architecture, FPCA'91 1991, 124-144. Springer-Verlag, The Netherlands. J. Hughes (Ed.).
35. Milner Robin Communicating and Mobile Systems: The π-Calculus 1999, Cambridge University Press, Berlin.
36. Moggi Eugenio An abstract view of programming languages. Technical Report ECS-LFCS-90-113, Dept. of Computer Science, Edinburgh University, Edinburgh, Scotland 1990.
37. Moggi Eugenio Notions of computation and monads. Information and Computation 1991, 93(1):55-92.
38. Owre S., Rushby J., Shankar N. PVS: A prototype verification system. Lecture Notes in Artificial Intelligence June 1992, 748-752. Saratoga, NY, Springer-Verlag, New York, NY. D. Kapur (Ed.).
39. Pierce B. Basic Category Theory for Computer Scientists 1991, The MIT Press, Berlin.
40. Pierce Benjamin C. Types and Programming Languages 2002, The MIT Press, Cambridge, MA.
41. Pierce Benjamin C. Types and programming languages: The next generation. Slides presented at IEEE Symposium on Logic in Computer Science (LICS) 2003.
42. Schmidt David A. Denotational Semantics: A Methodology for Language Development 1986, Allyn & Bacon, Inc., Cambridge, MA.
43. Smith Douglas R. KIDS: A Semiautomatic Program Development System. IEEE Transactions on Software Engineering 1990, 16(9):1024-1043.
44. Spivey J.M. The Z Notation: A Reference Manual. International Series in Computer Science 1992, Prentice Hall, Boston, MA. 2nd edition.
45. Stoy Joseph E. Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory 1977, The MIT Press, New York, NY.
46. Thomas D.E., Moorby P.R. The Verilog Hardware Description Language 1996, Kluwer Academic Publishers, Cambridge, MA. 3rd edition.
47. Uustalu Tarmo, Vene Varmo The essence of dataflow programming. Proceedings of APLAS'05-Lecture Notes in Computer Science 2005, 2-18. Springer-Verlag, Boston, MA. K. Yi (Ed.).
48. Van Horebeek I., Lewi J. Algebraic Specifications in Software Engineering: An Introduction 1989, Springer-Verlag, Berlin.
49. Wadler P. The essence of functional programming. Conference Record of the Nineteenth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages January 1992, 1-14. Albuquerque, Berlin.
50. Wadler P. How to declare an imperative. ACM Computing Surveys 1997, 29(3):240-263.
51. Woodcock Jim, Davies Jim Using Z: Specification, refinement and Proof 1996, Prentice Hall, New Mexico.
52. Wing J. A Specifier's Introduction to Formal Methods. IEEE Computer September 1990, 23(9):8-24.
53. Wordsworth J.B. Software Engineering with B 1996, Addison Wesley Longman Ltd., Upper Saddle River, NJ.