SICOMORo-CM: Development of Trustworthy Systems via Models and Advanced Tools.
Elvira AlbertPablo C. CañizaresEsther GuerraJuan de LaraEsperanza MarcosManuel NúñezGuillermo Román-DíezJuan Manuel VaraDamiano ZanardiniPublished in: STAF Workshops (2017)
Keyphrases
- mathematical models
- complex systems
- enabling technologies
- knowledge based systems
- learning systems
- technical solutions
- topics covered include
- distributed systems
- uml models
- building blocks
- analytical models
- technical issues
- software developers
- design tools
- statistical models
- biological systems
- formal models
- legacy systems
- software tools
- formal methods
- support systems
- computing paradigms
- computational models
- software engineering
- probabilistic model
- hardware platforms
- development efforts
- data mining tools
- historical perspective
- evaluation methodologies
- development methodologies
- agent based systems
- design processes
- trading systems
- neural network
- communication technologies
- model selection
- decision support
- knowledge management
- web services