Sciweavers

2253 search results - page 76 / 451
» An Approach to Specifying Software Frameworks
Sort
View
104
Voted
CLEIEJ
2006
108views more  CLEIEJ 2006»
15 years 3 months ago
Quality in Development Process for Software Factories According to ISO 15504
Currently the concept of Software Factories (SF), where reuse plays a leading role, is being adopted. Due to the different approaches in this area, and although SF concept is not ...
Kenyer Domínguez, María A. Pé...
139
Voted
AINA
2009
IEEE
15 years 10 months ago
A Property Based Framework for Trust and Reputation in Mobile Computing
In this paper we reinforce the benefits of a trust based approach in mobile multi-agent systems. Whilst we do not specify a trust model we provide a framework for property based ...
Kevin Jones, Helge Janicke, Antonio Cau
AAAI
1994
15 years 4 months ago
L* Parsing: A General Framework for Syntactic Analysis of Natural Language
We describe a new algorithm for table-driven parsing with context-free grammars designed to support efficient syntactic analysis of natural language. The algorithm provides a gene...
Eric K. Jones, Linton M. Miller
151
Voted
SPLC
2008
15 years 4 months ago
Calculating and Modeling Common Parts of Software Product Lines
This paper builds on product line CCS (PL-CCS), an algebraic approach to modeling the behavior of software product lines. The semantics of PL-CCS specifications is given in terms ...
Alexander Gruler, Martin Leucker, Kathrin D. Schei...
131
Voted
FM
2003
Springer
107views Formal Methods» more  FM 2003»
15 years 8 months ago
A Formal Framework for Modular Synchronous System Design
We present the formal framework for a novel approach for specifying and automatically implementing systems such as digital circuits and network protocols. The goal is to reduce the...
Maria-Cristina V. Marinescu, Martin C. Rinard