Sciweavers

4919 search results - page 109 / 984
» A Process-Ontological Model for Software Engineering
Sort
View
AC
2003
Springer
15 years 3 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 2 months ago
Hierarchical Hybrid Modeling of Embedded Systems
Rajeev Alur, Thao Dang, Joel M. Esposito, Rafael B...
ICFEM
2009
Springer
15 years 4 months ago
RAFFS: Model Checking a Robust Abstract Flash File Store
Flash File Store Paul Taverne and C. (Kees) Pronk Report TUD-SERG-2009-033 SERG
Paul Taverne, Cornelis Pronk
WER
2007
Springer
15 years 4 months ago
Understanding the Strategic Actor Diagram: an Exercise of Meta Modeling
Julio Cesar Sampaio do Prado Leite, Vera Werneck, ...
ICSE
1995
IEEE-ACM
15 years 1 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, ...