Wladimir Araujo

Learn More
The creation of services on IP networks is a lengthy process. The development time is further increased if this involves the equipment manufacturer adding third-party technology in their product. In this work we describe how the JUNOS SDK (part of Juniper Networks Partner Solution Development Platform) facilitates innovation and can be used to considerably(More)
Though there exists ample support for Design by Contract (DbC) for sequential programs, applying DbC to concurrent programs presents several challenges. In previous work, we extended the Java Modeling Language (JML) with constructs to specify concurrent contracts for Java programs. We present a runtime assertion checker (RAC) for the expanded JML capable of(More)
Design by contract (DbC) is a software development methodology that makes use of assertions to produce better quality object-oriented software. The idea behind DbC is that a method defines a contract stating the requirements a client needs to fulfill to use it, the precondition, and the properties it ensures after its execution, the postcondition. Though(More)
The idea behind Design by Contract (DbC) is that a method defines a contract stating the requirements a client needs to fulfill to use it, the precondition, and the properties it ensures after its execution, the post condition. Though there exists ample support for DbC for sequential programs, applying DbC to concurrent programs presents several challenges.(More)
Design by contract (DbC) is a software development methodology that focuses on clearly defining the interfaces between components to produce better quality object-oriented software. Though there exists ample support for DbC for sequential programs, applying DbC to concurrent programs presents several challenges. Using Java as the target programming(More)
1 Concurrent Contracts for Java Wladimir Araujo, Lionel C. Briand, Yvan Labiche 1 Juniper Networks 700 Silver Seven Road Ottawa, ON, K2V 1C3, Canada waraujo@juniper.net 2 Simula Research Laboratory and University of Oslo P.O. Box 134, Lysaker 1325 Norway briand@simula.no 3 Software Quality Eng. Lab. Dept. of Systems and Computer Eng. Carleton University(More)
Studies addressing chromosome variations have elucidated many points regarding the taxonomy of the Orchidaceae. Epidendrum L. besides being one the largest orchid genera, present remarkable morphological, and inter- and intraspecific chromosome variations. Thus, based on a previous report on flower color variation in individuals of E. ibaguense (magenta,(More)
Design by Contract (DbC) is a software development methodology that focuses on clearly defining the interfaces between components to produce better quality object-oriented software. The idea behind DbC is that a method defines a contract stating the requirements a client needs to fulfill to use it, the precondition, and the properties it ensures after its(More)
  • 1