Sciweavers

12333 search results - page 735 / 2467
» System Level Modelling for Hardware Software Systems
Sort
View
RE
2010
Springer
15 years 2 months ago
A UML-based static verification framework for security
Secure software engineering is a new research area that has been proposed to address security issues during the development of software systems. This new area of research advocates...
Igor Siveroni, Andrea Zisman, George Spanoudakis
ICALT
2006
IEEE
16 years 1 months ago
Social Software and the Emergence of Control
Social software, such as blogs, wikis, tagging systems and collaborative filters, treats the group as a first-class object within the system. Drawing from theories of transactiona...
Jon Dron
ASPDAC
2009
ACM
150views Hardware» more  ASPDAC 2009»
16 years 2 months ago
Using a dataflow abstracted virtual prototype for HdS-design
Dataflow abstracted Virtual Prototype for HdS-Design Wolfgang Ecker Stefan Heinen Michael Velten Infineon Technologies AG Germany ASPDAC 2009 Special Session Hardware-dependent Sof...
Wolfgang Ecker, Stefan Heinen, Michael Velten
CRIWG
2006
15 years 8 months ago
A Decentralized and Flexible Tool Supporting Extreme Programming Software Development
This paper presents a system called CodeBreaker for supporting small and medium size software development based on an extreme programming principle. The system follows a decentrali...
Nelson A. Baloian, Francisco Claude, Roberto Konow...
ICFEM
2004
Springer
16 years 25 days ago
Timed Patterns: TCOZ to Timed Automata
Abstract. The integrated logic-based modeling language, Timed Communicating Object Z (TCOZ), is well suited for presenting complete and coherent requirement models for complex real...
Jin Song Dong, Ping Hao, Shengchao Qin, Jun Sun 00...