Sciweavers

1527 search results - page 57 / 306
» From Requirements to Design: Formalizing the Key Steps
Sort
View
WETICE
2003
IEEE
15 years 11 months ago
Using Design Rationales for Agile Documentation
Recently, Agile Software Processes have been discussed as flexible and light-weight alternatives to established Software Engineering approaches, in order to overcome the obstacles...
Thomas Sauer
MATES
2009
Springer
16 years 15 days ago
Towards Pattern-Oriented Design of Agent-Based Simulation Models
Abstract. The formalization and use of experiences in good model design would make an important contribution to increasing the efficiency of modeling as well as to supporting the k...
Franziska Klügl, Lars Karlsson
CPAIOR
2004
Springer
15 years 9 months ago
Building Models through Formal Specification
Abstract. Over the past years, a number of increasingly expressive languages for modelling constraint and optimisation problems have evolved. In developing a strategy to ease the c...
Gerrit Renker, Hatem Ahriz
EUROPKI
2007
Springer
16 years 4 days ago
AutoPKI: A PKI Resources Discovery System
The central goal of Public Key Infrastructure (PKI) is to enable trust judgments between distributed users. Although certificates play a central role in making such judgments, a P...
Massimiliano Pala, Sean W. Smith
DATE
2009
IEEE
178views Hardware» more  DATE 2009»
16 years 22 days ago
Correct-by-construction generation of device drivers based on RTL testbenches
Abstract—The generation of device drivers is a very time consuming and error prone activity. All the strategies proposed up to now to simplify this operation require a manual, ev...
Nicola Bombieri, Franco Fummi, Graziano Pravadelli...