Zobrazeno 1 - 10
of 39
pro vyhledávání: '"Kiniry, Joseph R."'
Autor:
Kiniry, Joseph R.
Publikováno v:
Go to Kind theory [electronic theses].
Thesis (Ph. D.). PQ #3052827.
Externí odkaz:
http://resolver.caltech.edu/CaltechETD:etd-06062002-164914
Autor:
Kiniry, Joseph R.
Semantic properties are domain-specific specification constructs used to augment an existing language with richer semantics. These properties are taken advantage of in system analysis, design, implementation, testing, and maintenance through the use
Externí odkaz:
http://arxiv.org/abs/cs/0204035
Autor:
Kiniry, Joseph R.
Building complex software systems necessitates the use of component-based architectures. In theory, of the set of components needed for a design, only some small portion of them are "custom"; the rest are reused or refactored existing pieces of softw
Externí odkaz:
http://arxiv.org/abs/cs/0204036
Autor:
Kiniry, Joseph R.
A major part of debugging, testing, and analyzing a complex software system is understanding what is happening within the system at run-time. Some developers advocate running within a debugger to better understand the system at this level. Others emb
Externí odkaz:
http://arxiv.org/abs/cs/0204034
Autor:
Kiniry, Joseph R.
Publikováno v:
In Electronic Notes in Theoretical Computer Science 3 November 2004 103:81-103
Autor:
Kiniry, Joseph R., Morkan, Alan E., Cochran, Dermot, Fairmichael, Fintan, Chalin, Patrice, Oostdijk, Martijn, Hubbers, Engelbert, Montanari, U.
Publikováno v:
Montanari, U. (ed.), Trustworthy Global Computing: Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers, 244-262. Berlin ; New York : Springer
STARTPAGE=244;ENDPAGE=262;ISSN=0302-9743;TITLE=Montanari, U. (ed.), Trustworthy Global Computing: Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers
Montanari, U. (ed.), Trustworthy Global Computing: Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers, pp. 244-262
STARTPAGE=244;ENDPAGE=262;ISSN=0302-9743;TITLE=Montanari, U. (ed.), Trustworthy Global Computing: Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers
Montanari, U. (ed.), Trustworthy Global Computing: Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers, pp. 244-262
Item does not contain fulltext TGC 2006
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::029ddc476c0a25dbba141f43e768295e
http://hdl.handle.net/2066/36561
http://hdl.handle.net/2066/36561
Autor:
Janota, Mikolas, Kiniry, Joseph R.
peer-reviewed A mechanically formalized feature modeling metamodel is presented. This theory is a generic higher-order formalization of a mathematical model synthesizing several feature modeling approaches found in the literature. This meta-model sup
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1249::09db99abfe778fff016e75b9927a2153
peer-reviewed Activist computer scientists, including some of the authors of this paper, have been working against the adoption by governments of commercial, proprietary, insecure, poorly designed and implemented voting systems the world-over. And, w
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1249::652cc3491cbe0eab58ff0409e4fe249b
Publikováno v:
CAV'2007, 37-37. Berlin ; New York : Springer
STARTPAGE=37;ENDPAGE=37;TITLE=CAV'2007
CAV'2007, pp. 37-37
STARTPAGE=37;ENDPAGE=37;TITLE=CAV'2007
CAV'2007, pp. 37-37
Item does not contain fulltext
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::e5ba98fb52b1e3640f3cbcc5417e83be
https://hdl.handle.net/2066/34616
https://hdl.handle.net/2066/34616
Autor:
Pieters, Wolter, Kiniry, Joseph R.
Publikováno v:
Communications of the ACM. Feb2005, Vol. 48 Issue 2, p12-12. 2/3p.