Sciweavers

1837 search results - page 3 / 368
» Architecture = Abstractions over Software
Sort
View
IJMMS
1998
68views more  IJMMS 1998»
13 years 7 months ago
Formal architectural abstractions for interactive software
Panos Markopoulos, Peter Johnson, Jon Rowson
ICSM
1999
IEEE
13 years 12 months ago
A Two-Phase Process for Software Architecture Improvement
Software architecture is important for large systems in which it is the main means for, among other things, controlling complexity. Current ideas on software architectures were no...
René L. Krikhaar, André Postma, M. P...
JLP
2007
89views more  JLP 2007»
13 years 7 months ago
Universality and semicomputability for nondeterministic programming languages over abstract algebras
tract Algebras Wei Jiang∗ , Yuan Wang† , and Jeffery Zucker‡ September 11, 2006 The Universal Function Theorem (UFT) originated in 1930s with the work of Alan Turing, who p...
Wei Jiang, Yuan Wang, Jeffery I. Zucker