E-LIB Suche - Ergebnisse für: Wile, Herbert S

1

On the sequential and random selection of subspaces over a ..:

Calabi, Eugenio ; Wile, Herbert S
Journal of Combinatorial Theory, Series A. 22 (1977) 1 - p. 107-109 , 1977

Link: https://doi.org/10.1016/..

2

Patterns of self-management:

, In: Proceedings of the 1st ACM SIGSOFT workshop on Self-managed systems,

Wile, David S. - p. 110-114 , 2004

Link: https://dl.acm.org/doi/1..

3

Architecture style-based calculi for non-functional propert..:

, In: Proceedings of the 18th IEEE International Conference on Automated Software Engineering,

Wile, David S. - p. 299-303 , 2003

Link: https://dl.acm.org/doi/1..

4

Revealing component properties through architectural styles:

Wile, David S.
Journal of Systems and Software. 65 (2003) 3 - p. 209-214 , 2003

Link: https://doi.org/10.1016/..

5

Towards a synthesis of dynamic architecture event languages:

, In: Proceedings of the first workshop on Self-healing systems,

Wile, David S. - p. 79-84 , 2002

Link: https://dl.acm.org/doi/1..

6

Abstract syntax from concrete syntax:

, In: Proceedings of the 19th international conference on Software engineering,

Wile, David S. - p. 472-480 , 1997

Link: https://dl.acm.org/doi/1..

7

A multi-formalism specification environment:

, In: Proceedings of the fourth ACM SIGSOFT symposium on Software development environments,

Ipser, Edward A. ; Wile, David S. ; Jacobs, Dean - p. 94-106 , 1990

Link: https://dl.acm.org/doi/1..

8

Adding relational abstraction to programming languages:

, In: Conference proceedings on Formal methods in software development,

Wile, David S. - p. 128-139 , 1990

Link: https://dl.acm.org/doi/1..

9

Worlds: an organizing structure for object-bases:

, In: Proceedings of the second ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments,

Wile, David S ; Allard, Dennis G - p. 16-26 , 1987

Link: https://dl.acm.org/doi/1..

10

Worlds: an organizing structure for object-bases:

Wile, David S ; Allard, Dennis G
ACM SIGPLAN Notices. 22 (1987) 1 - p. 16-26 , 1987

Link: https://doi.org/10.1145/..

11

Program developments: formal explanations of implementation:

Wile, David S.
Communications of the ACM. 26 (1983) 11 - p. 902-911 , 1983

Link: https://doi.org/10.1145/..

12

Program developments : formal explanations of implementa..:

Wile, David S.
Communications of the ACM. 26 (1983) 11 - p. 902-911 , 1983

Link: https://dl.acm.org/doi/1..

13

Operational specification as the basis for rapid prototypin:

, In: Proceedings of the workshop on Rapid prototyping,

Balzer, Robert M. ; Goldman, Neil M. ; Wile, David S. - p. 3-16 , 1982

Link: https://dl.acm.org/doi/1..

14

A generative nested-sequential basis for general-purpose pr..:

Wile, David S.
ACM SIGPLAN Notices. 8 (1973) 6 - p. 96-98 , 1973

Link: https://dl.acm.org/doi/1..

15

A generative nested-sequential basis for general-purpose pr..:

Wile, David S.
ACM SIGPLAN Notices. 8 (1973) 6 - p. 96-98 , 1973

Link: https://doi.org/10.1145/..