Searching for "Priority Program SoftSpez and the International INT Workshops "Integration of Software Specification Techniques for Applications in Engineering" (DFG-Schwerpunktprogramm SoftSpez und die internationalen INT-Workshops "Integration von Techniken der Softwarespezifikation f�r ingenieurwissenschaftliche Anwendungen")." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

692,461 documents found, showing 1 through 10. Next 10 →

Requirements Engineering in Agile Software Development
by Fachhochschule Mannheim, Dr. Eckhard Koerner, Dr. Armin Eberlein, Ehrenwörtliche Erklärung, Frauke Paetsch, Frauke Paetsch — 2003
… Software Development’. Der erste Teil der Diplomarbeit befasst sich mit den beiden Soft- ware Engineering…
Add To MetaCart

Formale Methoden der Künstlichen Intelligenz
by Christoph Kreitz
…. Erst mit dem Erfolg von Model Checkern in der Hardwareverifikation begannen logische Techniken für die…
Add To MetaCart

Software Engineering Methoden fur parallele wissenschaftlichtechnische Anwendungen
by Projekt Sempa, Peter Luksch — 1996 — http://wwwbode.informatik.tumuenchen. de/archiv/artikel/siwork96/siwork96.ps.gz. [Luk97a] Peter Luksch. Software Engineering Methoden
… einzusetzen), sowie das Fehlen adäquater Software Engineering (SWE) Methoden, die die besonderen Aspekte der…
Cited by 1 (1 self) – Add To MetaCart

Universität Augsburg Integration formaler Spezifikation und
by W. Reif, G. Schellhorn, A. Thums, W. Reif, G. Schellhorn, A. Thums, Universität Augsburg, W. Reif, G. Schellhorn, A. Thums
… Techniken der Softwarespezifikation für ingenieurwissenschaftliche Anwendungen“ erstellt 1Funk FFB…
Add To MetaCart

Integration of
by Simulation Based Performance
…. In [4, 5, 7, 8] performance engineering techniques are applied to the software development process…
Add To MetaCart

An integrated simulation environment for the analysis of ATM networks at multiple time scales
by M. Ajmone Marsan, A. Bianco, C. Casetti, C.F. Chiasserini. A. Francini, C. F. Chiasserini, A. Francini, R. Lo Cigno, M. Munafo — 1998
… describes the rationale and the implementation of a simulation environment fi)r the analysis o1' ATM…
Cited by 5 (4 self) – Add To MetaCart

an der
by Bernhard Klaus Aichernig, Technischen Universität Graz
… festgestellt werden. Tester glaubten nicht an die Anwendbarkeit von formalen Verifikationsmethoden in der…
Add To MetaCart

Modules for Hierarchical and Crosscutting Models
by Vom Fachbereich Informatik, Der Technischen Universität Darmstadt, Klaus Ostermann, Referent Prof, Dr. Mira Mezini, Korreferent Prof, Gregor Kiczales — 2003
… unterschiedlichen Detailebenen zu betrachten und zu implementieren, hat die Qualität von Software entscheidend…
Add To MetaCart

Integrated
by Safety Analysis, P Fenelon, J A Mcdermid, M Nicholson, D J Pumfrey — 1994 — ACM Applied Computing Review
… integration between safety analysis and design techniques, especially for software based systems…
Add To MetaCart

Integrating deduction techniques in a software reuse application
by Thomas Baar, Bernd Fischer, Dirk Fuchs — 1999 — J. UCS
…Integrating Deduction Techniques in a Software Reuse Application Thomas Baar Institut fur…
Cited by 3 (1 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB