Quantitative analysis of software systems has been recognized to be important and useful for requirements and design, and, specifically, performance analysis should be integrated in the software development life cycle from the early stages. To this aim, several approaches have been recently proposed to integrate or combine performance analysis and software architecture specification. In this pa...

A simple, basic and general model for describing both the (input/output) behavior and the implementation of distributed systems is presented. An important feature is the separation of the machinery used to describe the implementation and the behavior. This feature makes the model potentially useful for design specification of systems and of subsystems. The model’s primitivity and generality mak...

In his debates with Daniel Kahneman and Amos Tversky, Gerd Gigerenzer puts forward a stricter standard for the proper representation of judgment heuristics. I argue that Gigerenzer’s stricter standard contributes to naturalized epistemology in two ways. First, Gigerenzer’s standard can be used to winnow away cognitive processes that are inappropriately characterized and should not be used in th...

Most information retrieval systems, including Web search engines, use similarity ranking algorithms based on a vector space model to find relevant information in response to a user’s request. However, the retrieved information is frequently irrelevant, because most of the current information systems employ index terms or other techniques that are variants of term frequency. In this paper, we pr...

Modern software systems place a large emphasis on heterogeneous communication. For disparate applications to communicate effectively, a generic theory of data is required that works at the interapplication level. The key feature of such a theory is full generality, where the data model of an application is not restricted to any particular modeling formalism. Existing solutions do not have this ...

Scope: Programming languages, their environment and systems software interface, including specification techniques, common facilities, and language bindings. • = not supporting the FXP and circular buffer extensions in their current form (WG14/N907) – the proposal lacks generality • = not supporting the inclusion of extensions to the pre-processor (WG14/N909) under any circumstances • = not sup...

This paper gives an overview of recent advances in Real-Time Maude. Real-Time Maude extends the Maude rewriting logic tool to support formal specification and analysis of object-based real-time systems. It emphasizes ease and generality of specification and supports a spectrum of analysis methods, including symbolic simulation, unbounded and time-bounded reachability analysis, and LTL model che...

The Real-time Specification for Java (RTSJ) has been designed to cover a large spectrum of real-time applications, to achieve this goal the specification must cater to different real-time programming styles. This generality is essential for acceptance of Java by the industry but it also means that there are many error modes that application developers must deal with. The memory subsystem of the...