Mostrando 4 resultados de: 4
Filtros aplicados
Área temáticas
Ciencias de la computación(4)
Física aplicada(2)
Ingeniería y operaciones afines(1)
Métodos informáticos especiales(1)
Área de conocimiento
Ciencias de la computación(2)
Ingeniería de sistemas(1)
Ingeniería de software(1)
Proceso estocástico(1)
Simulación por computadora(1)
Origen
scopus(4)
On the roles of functions and objects in system specification
ArticleAbstract: We present an analysis of the benefits and drawbacks of function and object based models in system sPalabras claves:Autores:Ingo Sander, Jantsch A.Fuentes:scopusVerification of Design Decisions in ForSyDe
Conference ObjectAbstract: The ForSyDe methodology has been developed for system level design. Starting with a formal specificaPalabras claves:Design refinement, System design, VerificationAutores:Ingo Sander, Jantsch A., Raudvere T., Singh A.Fuentes:scopusSystem synthesis utilizing a layered functional model
ArticleAbstract: We propose a system synthesis method which bridges the gap between a highly abstract functional modePalabras claves:Autores:Ingo Sander, Jantsch A.Fuentes:scopusThe usage of stochastic processes in embedded system specifications
Conference ObjectAbstract: We review the use of nondeterminism and identify two different purposes. The descriptive purpose hanPalabras claves:Autores:Ingo Sander, Jantsch A., Wu W.Fuentes:scopus