Formal methods play essential roles in education and training of software engineering. Besides the fact that formal methods themselves can be direct solutions to problems in development, many insights into modelling, specification, verification and validation can be provided. On the other hand, difficulties lie in delivering these direct or indirect values to the industry. This paper reports an...

Rob Wojcik is a member of the technical staff in the Product Line Systems Program at the Carnegie Mellon University’s Software Engineering Institute (SEI), a position he has held since 2004. In his current position, he performs training and consulting in software architecture technology and software architecture evaluations. Prior to his position at the SEI, over twenty years of his career were...

OBJECTIVE The purpose of this study was to evaluate the "Bike Smart" program, an eHealth software program that teaches bicycle safety behaviors to young children. METHODS Participants were 206 elementary students in grades kindergarten to 3. A random control design was employed to evaluate the program, with students assigned to either the treatment condition (Bike Smart) or the control condit...

Parallel software for solving the quadratic program arising in training support vector machines for classification problems is introduced. The software implements an iterative decomposition technique and exploits both the storage and the computing resources available on multiprocessor systems, by distributing the heaviest computational tasks of each decomposition iteration. Based on a wide rang...

mobile phone technology means that it has become a very efficient tool. the development of tools and reduce its price, makes it all the segments of the from the old to the young do not go out of the house without their cell phone and the most essential tool with which they have. this has caused most organizations and service agencies also offer mobile services based on their. list of the quran,...