DESCARTES: An Automatic Programming System for Algorithmically Simple Programs (English)
- New search for: Ginoux, B.
- New search for: Dormoy, J.-L.
- New search for: Jimenez-Dominguez, C.
- New search for: Lucas, J.-Y.
- New search for: Pierre, L.
- New search for: IEEE
- New search for: Ginoux, B.
- New search for: Dormoy, J.-L.
- New search for: Jimenez-Dominguez, C.
- New search for: Lucas, J.-Y.
- New search for: Pierre, L.
- New search for: IEEE
In:
Software specification and design
;
106-115
;
1998
-
ISBN:
- Conference paper / Print
-
Title:DESCARTES: An Automatic Programming System for Algorithmically Simple Programs
-
Contributors:Ginoux, B. ( author ) / Dormoy, J.-L. ( author ) / Jimenez-Dominguez, C. ( author ) / Lucas, J.-Y. ( author ) / Pierre, L. ( author ) / IEEE
-
Conference:International workshop; 9th, Software specification and design ; 1998 ; Ise-Shima, Japan
-
Published in:Software specification and design ; 106-115
-
Publisher:
- New search for: IEEE Computer Society
-
Place of publication:New York, NY
-
Publication date:1998-01-01
-
Size:10 pages
-
Remarks:Also known as IWSSD 98
-
ISBN:
-
Type of media:Conference paper
-
Type of material:Print
-
Language:English
-
Keywords:
-
Source:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Table of contents conference proceedings
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 2
-
Why IDLs are Not IdealKaplan, A. / Ridgway, J. / Wileden, J. C. / IEEE et al. | 1998
- 8
-
Towards a Software Engineering Approach to Web Site DevelopmentCoda, F. / Ghezzi, C. / Vigna, G. / Garzotto, F. / IEEE et al. | 1998
- 18
-
Safety through SecuritySimpson, A. / Woodcock, J. / Davies, J. / IEEE et al. | 1998
- 25
-
An Exercise in Formal Reasoning about Mobile CommunicationsMurphy, A. L. / Roman, G.-C. / Varghese, G. / IEEE et al. | 1998
- 34
-
From Early to Late Formal Requirements: A Process-Control Case StudyDubois, E. / Yu, E. / Petit, M. / IEEE et al. | 1998
- 43
-
V&V through Inconsistency Tracking and AnalysisEasterbrook, S. / Callahan, J. / Wiels, V. / IEEE et al. | 1998
- 50
-
Reconciling System Requirements and Runtime BehaviorFeather, M. S. / Fickas, S. / van Lamsweerde, A. / Ponsard, C. / IEEE et al. | 1998
- 60
-
Putting Non-Functional Requirements into Software ArchitectureFranch, X. / Botella, P. / IEEE et al. | 1998
- 68
-
Business Rules as Organizational Policiesdo Prado Leite, J. C. S. / Leonardi, M. C. / IEEE et al. | 1998
- 77
-
Specification and implementation of a distributed planning and information system for courses based on story driven modellingJahnke, J.H. / Zundorf, A. et al. | 1998
- 77
-
Specification and Implementation of a Distributed Planning and Information System for Courses Based on Story Driven ModelingJahnke, J. H. / Zundorf, A. / IEEE et al. | 1998
- 87
-
Traceability and Modularity in Software DesignWieringa, R. / IEEE et al. | 1998
- 96
-
A Coordination Model to Specify Systems Including Mobile AgentsCiancarini, P. / Franze, F. / Mascolo, C. / IEEE et al. | 1998
- 106
-
DESCARTES: An Automatic Programming System for Algorithmically Simple ProgramsGinoux, B. / Dormoy, J.-L. / Jimenez-Dominguez, C. / Lucas, J.-Y. / Pierre, L. / IEEE et al. | 1998
- 116
-
Performance Evaluation of a Software Architecture: A Case StudyInverardi, P. / Mangano, C. / Russo, F. / Balsamo, S. / IEEE et al. | 1998
- 126
-
Incremental Software Development Method Based on Abstract InterpretationYoshioka, N. / Suzuki, M. / Katayama, T. / IEEE et al. | 1998
- 135
-
Towards an Algebra of Architectural Connectors: A Case Study on Synchronization for MobilityWermelinger, M. / Fiadeiro, J. L. / IEEE et al. | 1998
- 144
-
Software Architecture Directed Behavior AnalysisMagee, J. / Kramer, J. / Giannakopoulou, D. / IEEE et al. | 1998
- 147
-
The Safety Requirements Engineering DilemmaBerry, D. M. / IEEE et al. | 1998
- 150
-
Modal Logic as a Design NotationAreces, C. / Felder, M. / Hirsch, D. / Yankelevich, D. / IEEE et al. | 1998
- 153
-
Methodological Support for Requirements Elicitation and Formal SpecificationHeisel, M. / Souquieres, J. / IEEE et al. | 1998
- 156
-
On the Consequences of Acting in the Presence of InconsistencyNuseibeh, B. / Russo, A. / IEEE et al. | 1998
- 159
-
Enhancing Design Methods to Support Real Design ProcessesLerner, B. S. / Sutton, S. M. / Osterweil, L. J. / IEEE et al. | 1998
- 162
-
Feature EngineeringTurner, C. R. / Fuggetta, A. / Lavazza, L. / Wolf, A. L. / IEEE et al. | 1998
- iii
-
Proceedings Ninth International Workshop on Software Specification and Design| 1998