The POPPs is a suite of inter-related software tools which allow the user to discover what is statistically 'unusual' in the composition of an unknown protein, or to automatically cluster proteins into families based on peptide composition. Finally, the user can search for related proteins based on peptide composition. Statistically based peptide composition provides a view of proteins that is,...

In 10] Groote and Springintveld incorporated several model-oriented techniques { such as invariants, matching criteria, state mappings { in the process-algebraic framework of CRL for structuring and simplifying protocol veriications. In this paper, we formalise these extensions in Coq, which is a proof development tool based on type theory. In the updated framework, the length of proof construc...

We present a new class of Petri Nets, called Extended Simple Colored Petri Nets (ESCP-nets), which are essentially Simple Colored Petri Nets (SCP-nets) with three added features: first, there is a built-in type of real numbers; second, tokens can be forced to wait in places; third, an interface specifies how the Net can be externally supervised. Even if these added features also add complexity,...

With aspect-oriented programming, changes can be treated explicitly and directly at the programming language level. An approach to aspect-oriented change realization based on a two-level change type model is presented in this paper. In this approach, aspect-oriented change realizations are mainly based on aspect-oriented design patterns or themselves constitute pattern-like forms in connection ...

The inherent properties of Abstract Data types are a good basis for systematic testing and for decoupling design and development of software. We propose checking the implementation of Java Classes for Abstract Data Types using the Java Class Interface Definition and an Oracle of Test Cases that specify expected results. This task is performed by a software tool proving for automatic Unit Testing.

Computer science currently lacks a widely applicable deenition for the concept of a medium. Most existing deenitions are implicit and treat data types, such as video streams, text, and digital audio, as examples of media. This viewpoint does a poor job of discriminating between many pairs of media, such as 2D static graphics and 2D animation, which share the same set of data types. Furthermore,...

Within the planning process, there is a recent trend to engage with stakeholders. Traditionally, visualisation media such as plans, sections and physical models have been used to aid communication of planning proposals, yet technological advances now allow for virtual interactive, three dimensional (3D) visualisations of proposals to be created. It is unclear whether these newer technologies wi...

In recent decades, new methodologies have emerged in architectural design that exploit the computer as a design tool.This has generated a varied set of digital skills and a new type of architectural knowledge. However, up to now, a theoretical framework is missing that would allow for a comprehensive pedagogical agenda for the teaching of digital design in architecture.The present paper offers ...

This paper gives guidelines for the publication of papers on software tools, in particular for Petri net tools. The guidelines are illustrated by an example.