SC 05 - Java Modeling Language - JML
 M�rcio Lopes (UFPE) |
 Rohit Gheyi (UFCG) |
 Tiago Massoni (UFCG) |
 Henrique Reb�lo (UFPE) |
Wednesday, September 29, 2010 (08:30-12:00) |
The Java Modeling Language (JML) is JML is a behavioral interface specification language that is widely used in academic research for formal methods tools which work with Java. JML works as a design by contract language that can be used to specify detailed designs of Java programs, frameworks, and class libraries. For instance, detailed designs include pre- and postconditions for methods and object invariants. Attendees will come out of this short course with a firm understanding of the use of specifications in software design and engineering, a basic knowledge of the JML specification language, and will be knowledgeable about the various tools available for the JML language, particularly the JML tool suite (with the classical JML compiler), ajmlc (an alternative JML compiler that uses aspect-orientation to check contracts), and ESC/Java2. Lecturers:
- M�rcio Lopes Corn�lio M�rcio Lopes Corn�lio has bachelor degree in Computer Science from the Federal University of Para�ba (1996), MSc (1998) and PhD? in Computer Science (2004) from the Federal University of Pernambuco. He is currently Associate Professor at the Center of Informatics from the Federal University of Pernambuco. He has experience in computer science, with emphasis on formal methods for Software Engineering, program transformation, and refactoring.
- Rohit Gheyi has bachelor degree in Computer Science from the Federal University of Para�ba (2001), MSc (2004) and PhD? in Computer Science (2007) from the Federal University of Pernambuco. He is currently Associate Professor at the Department of Computing and Systems from the Federal University of Campina Grande. He has experience in computer science, with emphasis on formal methods for Software Engineering, refactoring, and software product lines.
- Tiago Massoni is a professor in the Department of Computer and Systems at the Federal University of Campina Grande. His research interests include software design and evolution, and formal methods. In addition to his academic posts he also worked as a programmer at IBM in California. He holds a Doctoral degree in Computer Science from the Federal University of Pernambuco, and is a member of the ACM.
- Henrique Reb�lo is Ph.D. student at the Informatics Center of the Federal University of Pernambuco (UFPE), Brazil in cooperation with University of Central Florida (UCF), USA. He received his M.Sc. degree in Computer Engineering from University of Pernambuco (UPE), Brazil in May 2008. His research interests include aspect-oriented software development, design by contract, software specification and verification, software architecture, product lines, empirical software engineering, and programming languages.
