scis0000001's formal-development [26 articles] Export

Recent papers added to scis0000001's library classified by the tag formal-development. You can also see everyone's formal-development.

Hide details

	Theories, Implementations, and Transformations [My Copy] ZB 2002: Formal Specification and Development in Z and B: 2nd International Conference of B and Z Users, Grenoble, France, January 23-25, 2002. Proceedings (2002), pp. 131-138. by Eric Hehner, Ioannis T. Kassios posted to formal-development by scis0000001 on 2007-05-22 20:23:16 as along with 1 person Scis0000002
	Formal Design Environments [My Copy] In International Conference on Theorem Proving in Higher Order Logics (TPHOLs) (2002) by B. Aydemir, A. Granicz, J. Hickey posted to formal-development by scis0000001 on 2007-05-22 20:16:40 as
	Heterogeneous Development Graphs and Heterogeneous Borrowing [My Copy] In Foundations of Software Science and Computation Structure (2002), pp. 326-341. by Till Mossakowski posted to development-graph formal-development heterogeneity by scis0000001 on 2007-05-22 20:05:49 as along with 1 person network01
	From Devs To Formal [My Copy] by Methods C. Approach posted to abduction behavior category-theory chu-space dynamical-system formal-development general-systems-theory induction realizability testing topos-theory validation verification by scis0000001 on 2007-05-20 00:00:26 as along with 1 person isotelesis
	Mechanizing a theory of program composition for UNITY [My Copy] ACM Trans. Program. Lang. Syst., Vol. 23, No. 5. (September 2001), pp. 626-656. by Lawrence C. Paulson posted to composition formal-development by scis0000001 on 2007-05-19 23:31:08 as
	Phobos: A Front-End Approach to Extensible Compilers [My Copy] In HICSS '03: Proceedings of the 36th Annual Hawaii International Conference on System Sciences (HICSS'03) - Track 9 (2003) by Adam Granicz, Jason Hickey posted to compiler extension formal formal-development by scis0000001 on 2007-05-19 23:28:30 as
	Construction and Deduction Methods for the Formal Development of Software [My Copy] In KORSO Book (1995), pp. 239-254. by Friedrich W. von Henke, Axel Dold, Harald Rues, Detlef Schwier posted to formal-development by scis0000001 on 2007-05-15 23:16:02 as
	On the Role of Category Theory in the Area of Algebraic Specification [My Copy] In Selected papers from the 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop on Recent Trends in Data Type Specification (1996), pp. 17-48. by Hartmut Ehrig, Martin Gro&\#223;e-Rhode, Uwe Wolter posted to algebraicity category-of-specifications category-theory classifying-categories concurrency configuration-space formal-development higher-dimensional-category-theory indexed-categories lattice-of-specifications metascience sketch-theory specification specification-lattice specifications-lattice topos-theory unified-concept-theory by scis0000001 on 2007-05-15 14:30:26 as along with 1 person Scis0000002
	Mathematical Foundations for Program Transformations [My Copy] In LOPSTR '98: Proceedings of the 8th International Workshop on Logic Programming Synthesis and Transformation (1990), pp. 319-321. by Rahma B. Ayed, Jules Desharnais, Marc Frappier, Ali Mili posted to abstract-machine combination composition compositionality computability-logic computational-science constructive formal-development formal-science hetcasl heterogeneity hets iff logics matching program program-adaptation program-transformation programming proof proof-transformation software-incrementation software-merging specification transformation unified-concept-theory by scis0000001 on 2007-05-15 09:29:13 as along with 1 person Scis0000002
	Management of Evolving Specifications using Category Theory [My Copy] In Automated Software Engineering (1998), pp. 12-21. by Virginie Wiels, Steve Easterbrook posted to formal-development specification by scis0000001 on 2007-05-11 15:03:02 as
	A Theory-Based Representation for Object-Oriented Domain Models [My Copy] IEEE Trans. Softw. Eng., Vol. 26, No. 6. (June 2000), pp. 500-517. by Scott D. Deloach, Thomas C. Hartrum posted to category-of-signatures category-of-specifications category-theory colimit combination formal-development ood specificattion theory-development theory-morphism unified-concept-theory by scis0000001 on 2007-05-02 23:23:46 as
	A formal testing framework for UML statechart diagrams behaviours: from theory to automatic verification [My Copy] High Assurance Systems Engineering, 2001. Sixth IEEE International Symposium on (2001), pp. 11-22. by D. Latella, M. Massink posted to formal-development testing uml by scis0000001 on 2007-04-27 23:55:52 as along with 1 person leonardo
	What Is a Concept? [My Copy] Lecture Notes in Computer Science : Conceptual Structures: Common Semantics for Sharing Knowledge (2005), pp. 52-77. by Joseph Goguen posted to algebraic-semiotics blend-space blending-theory category-of-theories category-theory channel-theory chu-space classification combination concept-lattice conceptual-space conceptual-structures context contextuality cultrual-evolution dynamical-system fca formal-development formal-language-theory formal-methods formal-philosophy formal-science galois-frame general-systems-theory iff information-flow institutions lattice-of-theories logical-framework managed-logic maude mental-space metalogics metascience ontology ontology-space parchments regularity representation semantic-space semantics semiotic-space signatures systems-theory theory-development topos-theory unified-concept-theory by scis0000001 on 2007-04-21 14:31:54 as along with 8 people and 2 groups isotelesis garyfeng adrian_pigors maike livingthingdan mzygmunt RafG Scis0000002 ReadingLab livingthing
	A Topos Foundation for Theories of Physics: I. Formal Languages for Physics [My Copy] ArXiv Quantum Physics e-prints (March 2007) by A. Doering, C. J. Isham posted to algorithmic-information-theory category-of-languages category-of-systems category-of-theories category-theory classicality computability-logic deep-inference dev effective-topos executable formal formal-development formal-language formal-language-theory formal-science formal-system formalization higher-dimensional-category-theory higher-dimensional-topos-theory hyperdoctrine iff intuitionistic-logic logics managed-logic metamodeling metascience modeling nonclassicality operational parchments physics quantum-domain-theory quantum-institutions representation rewriting-logic theory-development theory-selection topos topos-selection topos-theory unified-concept-theory by scis0000001 on 2007-04-12 08:08:24 as along with 8 people GorgeousNicko svbcrypto prydzews jrw proportional madhadron gpi Scis0000002
	The UniForM Workbench, a Universal Development Environment for Formal Methods [My Copy] In FM'99, Formal Methods. Proceedings, Vol. II, Vol. 1709 (1999), pp. 1186-1205. by Bernd K. Brückner posted to formal-development by scis0000001 on 2007-03-17 13:59:05 as
	Patent Space Visualization for Patent Retrieval [My Copy] by A. W. Mclean posted to category-of-patents category-of-specifications category-of-theories design-theory dev formal-development hyperefficiency innovating innovation-theory inventing invention-theory lattice-of-patents mda patent-development patent-lattice patent-space patent-specification patent-strategy patent-theory patents portfolio product-development specification theory-development unified-concept-theory visualization by scis0000001 on 2007-03-15 14:43:47 as along with 1 person Scis0000002
	Towards an Evolutionary Formal Software-Development Using CASL [My Copy] In Workshop on Algebraic Development Techniques (1999), pp. 73-88. by Serge Autexier, Dieter Hutter, Heiko Mantel, Axel Schairer posted to formal-development by scis0000001 on 2007-03-12 14:08:35 as
	Structured formal development in Isabelle [My Copy] Nordic J. of Computing, Vol. 13, No. 1. (June 2006), pp. 2-21. by Maksym Bortin, Einar B. Johnsen, Christoph L&\#252;th posted to atp formal-development by scis0000001 on 2006-12-26 14:32:08 as along with 2 people Scis0000002 glaubersp
	The Insufficiency of Formal Design Methods [My Copy] by The N. Of posted to formal-development problem by scis0000001 on 2006-09-23 14:14:59 as
	Information Flow : The Logic of Distributed Systems (Cambridge Tracts in Theoretical Computer Science) [My Copy] (28 July 1997) by Jon Barwise, Jerry Seligman posted to algorithmic-information-theory category-of-theories channel-theory chu-space computational-neuroscience computational-science formal-development formal-science granularity iff information-flow lattice-of-theories metascience temporal unified-concept-theory by scis0000001 on 2006-09-23 13:50:41 as along with 3 people and 1 group Scis0000002 msakai aleks Compilers
	MDA and RM-ODP: two approaches in modern ontological engineering [My Copy] by Andrey Naumenko, Alain Wegmann posted to algorithmic-information-theory dev executable formal-development iff mda metamodel metamodeling metatheory modeling optimality rm-odp unified-concept-theory by scis0000001 on 2006-09-21 17:39:33 as
	Plug-in Proof Support for Formal Development Environments [My Copy] by David Hemer, Gregory Long, Paul Strooper posted to dev fide formal-development formal-development-environment by scis0000001 on 2006-09-21 17:33:14 as along with 1 person and 1 group greenrd SRG_at_UCD
	Goedel Machines: Self-Referential Universal Problem Solvers Making Provably Optimal Self-Improvements [My Copy] (27 Dec 2004) by Juergen Schmidhuber posted to adaptability aixi all-logical-theories atp autonomic-computing bias biops chu-space computability-logic computational-epistemology computational-learning computational-mathematics computational-science domain-theory dynamics efficiency formal-development formal-system generalized-kolmogorov-complexity goedel-machine gtm iff inference inference-dynamics interactivity lattice-of-theories least-time machine-learning metaevolution metalogic-programming metalogics metascience model-selection oops optimality paraconsistency problem-solving proof-search reinforcement-learning resource-allocation robotics searching self-adaptation self-managing self-reference semweb speed-prior survivability temporal-logic universal-search universality utility by scis0000001 on 2006-09-15 14:13:48 as along with 1 person Scis0000002
	Formal Software Development using Generic Development Steps [My Copy] (2000) by Axel Dold posted to formal-development by scis0000001 on 2006-09-14 09:01:31 as along with 1 person Scis0000002
	Construction and Deduction Methods for the Formal Development of Software [My Copy] In KORSO Book (1995), pp. 239-254. by Friedrich W. von Henke, Axel Dold, Harald Rues, Detlef Schwier posted to formal-development by scis0000001 on 2006-09-14 08:58:59 as
	A Taxonomy of Theories [My Copy] by Anthony A. Aaby posted to algorithmic-information-theory all-logical-theories category-of-theories computational-science dev e-science formal-development formal-science formalization hierarchy-of-theories iff institutions interoperability lattice lattice-of-theories logical-theories mda metamodeling metascience metatheory ontology ontology-development optimality parchments representation rm-odp semweb standards taxonomy taxonomy-of-theories theory theory-development unified-concept-theory by scis0000001 on 2006-09-08 13:28:12 as

Note: You may cite this page as: http://www.citeulike.org/user/scis0000001/tag/formal-development

dynamics	95
category-theory	92
semantics	82
prediction	73
domain-theory	73
chu-space	71
modeling	71
inference	67
fca	67
similarity	62
hierarchy	61
iff	54
specification	54
self-similarity	54
lattice	53
process	52
temporal	52
logics	51
markets	50
network	50
concurrency	45
qm	44
quantum-vacuum	44
computational-epistemology	43
partial-order	43
semweb	42
simulation	42
mas	42
behavior	41
evolution	41
games	41
interactivity	38
fractality	37
space-time	36
representation	36
dynamical-system	35
streams	35
lp	35
formation	34
rewriting-logic	34
dev	34
graph	33
proof	32
algorithmic-information-theory	31
hilbert-space	30
compression	30
scaling	30
classification	29
distributed	29
computability-logic	29
hierarchical	29
optimality	28
fractal	28
ui	28
svm	28
unified-concept-theory	28
economics	27
qualitative	27
categorical	26
context	26
mining	26
formal-development	26
time	26
algebra	26
clustering	26
hd	25
institutions	25
concept-lattice	25
sequence	25
universality	25
generalization	25
temporal-logic	24
information-system	24
reconstruction	24
trading	24
ait	24
composition	24
uml	23
predictability	23
discovery	23
topological-space	23
information-distance	23
epistemology	23
duality	23
kolmogorov-complexity	23
query	23
real-time	22
theory-development	22
model-selection	22
logic	22
control	22
qip	22
atp	22
relativity	22
visualization	22
portfolio	22
criticality	22
statistics	21
noncommutative	21
test	21
ifs	20
state-space	20
distribution	20
programming	20
discreteness	20
topos-theory	20
information-flow	20
multiscale	20
randomness	19
tree	19
embedding	19
mda	19
online	19
measurement	19
formalization	19
transformation	19
ontology	19
coding	19
interaction	19
complexity	19
topology	19
quantum-cosmology	19
ultrametric	19
verification	18
linear-logic	18
argumentation	18
flow	18
information	18
web-service	18
quantum-theory	18
geometry	18
visual	17
scale-space	17
refinement	17
software	17
quantum-logic	17
distance	17
emergence	17
problem-solving	17
diagrammatic-reasoning	17
order-theory	16
nlp	16
quantitative	16
granularity	16
program	16
similarity-matrix	16
qait	16
string-theory	16
information-theory	16
scale	16
scale-invariance	16
transition-system	16
searching	16
fractal-dimension	15
combination	15
parchments	15
probability-theory	15
dimensionality	15
computability	15
algebraic	15
space	15
metalogics	15
mathematics	15
pricing	15
collaboration	15
portfolio-selection	14
information-retrieval	14
segmentation	14
fixed-point	14
metric	14
multifractality	14
enterprise	14
cosmology	14
software-architecture	14
taxonomy	14
efficiency	14
information-extraction	14
dimension	14
testing	14
selection	14
symmetry	14
mkm	14
metascience	13
paraconsistency	13
infinite	13
calculus	13
synthesis	13
executable	13
cognition	13
nonlocality	13
web	13
hda	13
periodicity	13
invariance	13
quantale	13
performance	13
language	13
bayesian	13
computation	13
higher-dimensional-category-theory	13
database	13
manifold	12
qft	12
diagram	12
multifractal	12
formal-methods	12
temporal-concept-analysis	12
gravity	12
fol	12
lattice-of-theories	12
abstraction	12
conceptual-structures	12
mdl	12
kernel-matrix	12
power-law	12
logical-structures	12
algorithm	12
automata	12
search	12
computability-theory	11
neural-symbolic	11
self-similar	11
risk	11
relational	11
memory	11
framework	11
coordination	11
3d	11
measure	11
type-theory	11
formal	11
thermodynamics	11
universality-class	11
random-matrix-theory	11
physics	11
edutainment	11
symbolic-dynamics	11
model-theory	11
model	11
constraints	11
incompleteness	10
game-theory	10
neuroscience	10
information-geometry	10
argumentation-theory	10
symmetry-breaking	10
adaptability	10
csp	10
nonlinear	10
category-of-theories	10
scale-free-network	10
entropy	10
kb	10
minimal-sufficient-statistic	10
partition	10
scale-relativity	10
incremental-learning	10
deep-inference	10
detection	10
quantum-gravity	10
phase-space	10
path	10
fractafold	10
gtm	10
stone-duality	9
automating	9
goals	9
self-duality	9
opinion	9
descriptive-complexity	9
metatheory	9
machine-learning	9
logical-theories	9
sfn	9
extensivity	9
subspace	9
generalized-kolmogorov-complexity	9
optimization	9
relational-structures	9
hausdorff-dimension	9
induction	9
formal-system	9
all-logical-theories	9
operational	9
measure-theory	9
long-range-correlation	9
survivability	9
assistance	9
axiomatization	9
process-space	9
inductive-inference	9
sequence-prediction	9
model-checking	9
decomposition	9
metric-space	9
resolution	9
nonextensivity	8
computational-physics	8
computational-cosmology	8
theory-selection	8
biology	8
proof-theory	8
quantum-computing	8
multiresolution	8
methodology	8
noise	8
nonlinearity	8
time-series	8
mixture	8
noncommutative-geometry	8
p-adic	8
meaning	8
db	8
categorification	8
cantor-space	8
property-lattice	8
autonomic-computing	8
computing	8
metaprocess	8
computational-sociology	8
monitoring	8
relational-physics	8
universal-prediction	8
relation	8
ct	8
computational-category-theory	8
diffusion	8
simplicity	8
interference	8
finance	8
quantization	8
browsing	8
logical-information-system	8
many-body	8
event-space	8
software-development	8
fracton	8
nonmonotonic	8
topological	7
asynchronous	7
closure-structures	7
spatio-temporal	7
non-unitarity	7
wavelet	7
multiverse	7
algebraicity	7
innovation	7
time-series-analysis	7
regularity	7
binary-icosahedral-group	7
continuity	7
kernel	7
lattice-theory	7
mathematical-structures	7
interoperability	7
theory	7
experts	7
algebraic-structures	7
fractal-geometry	7
self-adaptation	7
dialogue	7
patents	7
metamodel	7
metamodeling	7
aixi	7
uncertainty	7
investing	7
resource-allocation	7
structure	7
calculational	7
computational-science	7
formal-science	7
ilp	7
computational-mathematics	7
managed-logic	7
planning	7
m-theory	7
communication	7
fuzzy	7
aspects	7
matching	7
hypercomplex	7
physical-structures	7
text	7
modularity	7
sufficiency	7
process-theory	7
primes	7
probabilistic	7
generation	7
configuration-space	6
small-world-network	6
self-similarity-matrix	6
e-science	6
computational-narratology	6
reduction	6
attractor	6
econophysics	6
nonmonotonicity	6
potential	6
growth	6
total-order	6
homotopy	6
exploration	6
standing-waves	6
cmb	6
cantor-set	6
discrete-self-similarity	6
information-loss	6
abstract-state-machines	6
ordering	6
analysis	6
formal-language	6
ensemble	6
support	6
social-network	6
phase-transition	6
generalized-hilbert-space	6
reinforcement-learning	6
realizability	6
question-answering	6
abstract-machine	6
refactoring	6
noncommutativity	6
quantum-information-theory	6
concept	6
hyper-economy	6
non-equilibrium	6
syntax	6
maude	6
relativistic	6
game	6
chemistry	6
feedback	6
computational-complexity	6
collective	6
dodecahedral-space	6
chaos-control	6
dimension-theory	6
effects	6
log-periodicity	6
mereology	6
channel-theory	6
generalized-inner-product	6
prediction-market	6
chaos	6
presentation	6
theory-formation	6
gales	6
engineering	6
association-rules	6
exploring	6
java	6
program-space	6
compositionality	6
incremental	6
qifs	6
nonstandard-analysis	6
ultrametric-space	6
automation	6
planck-scale	6
computational	6
set	6
dissimilarity	6
effective-topos	5
extraction	5
indexing	5
r-qm	5
intermittency	5
spectrum	5
generalized-kernel	5
network-theory	5
operads	5
hypergraphs	5
visualizing	5
dl	5
quantum-entanglement	5
finite-model-theory	5
sampling	5
quantum-coherence	5
fractal-evolution	5
universe	5
quantum-domain-theory	5
pattern	5
pvs	5
algebraic-domains	5
situation-theory	5
homology	5
renormalization	5
hypergraph	5
behaviour	5
automatic	5
interpretation	5
program-transformation	5
non-probabilistic	5
information-dynamics	5
continued-fraction	5
xml	5
categorical-logic	5
combinatorics	5

scis0000001's formal-development [26 articles] Export

scis0000001's tags