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)
Objetivos de Desarrollo Sostenible
ODS 9: Industria, innovación e infraestructura(4)
ODS 8: Trabajo decente y crecimiento económico(3)
ODS 17: Alianzas para lograr los objetivos(2)
ODS 4: Educación de calidad(2)
ODS 12: Producción y consumo responsables(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: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: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: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:scopus