Sciweavers

9006 search results - page 224 / 1802
» Modeling Software
Sort
View
AC
2003
Springer
15 years 11 months ago
Basic Category Theory for Models of Syntax
Abstract. These notes form the basis of four lectures given at the Summer School on Generic Programming, Oxford, UK, which took place dur
Roy L. Crole
EMSOFT
2001
Springer
15 years 11 months ago
Hierarchical Hybrid Modeling of Embedded Systems
Rajeev Alur, Thao Dang, Joel M. Esposito, Rafael B...
CSSW
2007
15 years 8 months ago
Mapping Cognitive Models to Social Semantic Spaces - Collaborative Development of Project Ontologies
: In this paper, we present an approach that applies concepts from the areas of Social Software and Semantic Web to application development. We start
Thomas Riechert, Steffen Lohmann
CC
2005
Springer
103views System Software» more  CC 2005»
15 years 6 months ago
Valiant's model and the cost of computing integers
Let (n) be the minimum number of arithmetic operations required to build the integer n N from the constants 1 and 2. A sequence xn is said to be "easy to compute" if the...
Pascal Koiran
ICSE
1995
IEEE-ACM
15 years 10 months ago
Software Requirements Negotiation and Renegotiation Aids: A Theory-W Based Spiral Approach
A major problem in requirements engineering is obtaining requirements that address the concerns of multiple stakeholders. An approach to such a problem is the Theory-W based Spira...
Barry W. Boehm, Prasanta K. Bose, Ellis Horowitz, ...