Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This monograph concerns the mathematical aspects of software reliability and quality assurance and consists of 11 technical papers in this emerging area. Included are the latest research results related to formal methods and design, automatic software testing, software verification and validation, coalgebra theory, automata theory, hybrid system and software reliability modeling and assessment.

Technology: general issues --- History of engineering & technology --- fuzzy automata --- coalgebra --- fuzzy language --- bisimulation --- composition --- test data generation --- genetic algorithm --- specification-based testing --- regression testing --- mutation testing --- eventual property --- model checking --- Maude --- textual question answering --- visual question answering --- metamorphic testing --- metamorphic relations --- quality assessment --- software rejuvenation --- checkpointing --- optimal rejuvenation-trigger timing --- steady-state system availability --- phase expansion --- human-error factors --- petri net --- concurrent software systems --- model-checking --- data-flows --- software reliability model --- maximum likelihood estimation --- EM algorithm --- non-homogeneous Poisson process --- generalized failure count data --- moth flame optimization --- island-based model --- feature selection --- software defect prediction --- software reliability --- search-based test case generation --- branch coverage --- object-oriented --- deep learning --- long short-term memory --- project similarity and clustering --- cross-project prediction --- Nervos CKB --- consensus protocol --- UPPAAL

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book contains accounts of talks held at a symposium in honorof John C. Moore in October 1983 at Princeton University, The workincludes papers in classical homotopy theory, homological algebra,rational homotopy theory, algebraic K-theory of spaces, and othersubjects.

Algebraic topology --- K-theory --- 512.73 --- 515.14 --- 512.73 Cohomology theory of algebraic varieties and schemes --- Cohomology theory of algebraic varieties and schemes --- 515.14 Algebraic topology --- Moore, John C. --- Abelian group. --- Adams spectral sequence. --- Adjoint functors. --- Adjunction (field theory). --- Algebraic K-theory. --- Algebraic closure. --- Algebraic geometry. --- Algebraic group. --- Algebraic number field. --- Algebraic space. --- Algebraic topology. --- Algebraically closed field. --- Associative algebra. --- Boundary (topology). --- CW complex. --- Classification theorem. --- Closure (mathematics). --- Coalgebra. --- Cofibration. --- Cohomology. --- Commutative diagram. --- Commutative property. --- Coproduct. --- Deformation theory. --- Degenerate bilinear form. --- Diagram (category theory). --- Differentiable manifold. --- Dimension (vector space). --- Division algebra. --- Eilenberg–Moore spectral sequence. --- Epimorphism. --- Exterior (topology). --- Formal power series. --- Free Lie algebra. --- Free algebra. --- Freudenthal suspension theorem. --- Function (mathematics). --- Function space. --- Functor. --- G-module. --- Galois extension. --- Global dimension. --- Group cohomology. --- Group homomorphism. --- H-space. --- Hilbert's Theorem 90. --- Homology (mathematics). --- Homomorphism. --- Homotopy category. --- Homotopy group. --- Homotopy. --- Hopf algebra. --- Hopf invariant. --- Hurewicz theorem. --- Inclusion map. --- Inequality (mathematics). --- Integral domain. --- Isometry. --- Isomorphism class. --- K-theory. --- Lie algebra. --- Lie group. --- Limit (category theory). --- Loop space. --- Mathematician. --- Mathematics. --- Noetherian ring. --- Order topology. --- P-adic number. --- Polynomial ring. --- Polynomial. --- Prime number. --- Principal bundle. --- Principal ideal domain. --- Projective module. --- Projective plane. --- Pullback (category theory). --- Pushout (category theory). --- Ring of integers. --- Series (mathematics). --- Sheaf (mathematics). --- Simplicial category. --- Simplicial complex. --- Simplicial set. --- Special case. --- Spectral sequence. --- Square (algebra). --- Stable homotopy theory. --- Steenrod algebra. --- Superalgebra. --- Theorem. --- Topological K-theory. --- Topological space. --- Topology. --- Triviality (mathematics). --- Uniqueness theorem. --- Universal enveloping algebra. --- Vector bundle. --- Weak equivalence (homotopy theory). --- William Browder (mathematician). --- Géométrie algébrique --- K-théorie