Sciweavers
Explore
Publications
Books
Software
Tutorials
Presentations
Lectures Notes
Datasets
Labs
Conferences
Community
Upcoming
Conferences
Top Ranked Papers
Most Viewed Conferences
Conferences by Acronym
Conferences by Subject
Conferences by Year
Tools
Sci2ools
International Keyboard
Graphical Social Symbols
CSS3 Style Generator
OCR
Web Page to Image
Web Page to PDF
Merge PDF
Split PDF
Latex Equation Editor
Extract Images from PDF
Convert JPEG to PS
Convert Latex to Word
Convert Word to PDF
Image Converter
PDF Converter
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
26
click to vote
ISSE
2008
72
views
Security Privacy
»
more
ISSE 2008
»
Patterns: from system design to software testing
13 years 11 months ago
Download
www.cse.ohio-state.edu
Neelam Soundarajan, Jason O. Hallstrom, Guoqiang S...
claim paper
Read More »
25
click to vote
ISSE
2008
71
views
Security Privacy
»
more
ISSE 2008
»
Towards a traceability model in a MARTE-based methodology for real-time embedded systems
13 years 11 months ago
Download
www.artist-embedded.org
Hung Le Dang, Hubert Dubois, Sébastien G&ea...
claim paper
Read More »
28
click to vote
ISSE
2008
83
views
Security Privacy
»
more
ISSE 2008
»
From use cases to test cases via meta model-based reasoning
13 years 11 months ago
Download
www.artist-embedded.org
Stefan Gruner
claim paper
Read More »
28
click to vote
ISSE
2008
100
views
Security Privacy
»
more
ISSE 2008
»
Validation of requirement models by automatic prototyping
13 years 11 months ago
Download
www.artist-embedded.org
Dan Li, Xiaoshan Li, Jicong Liu, Zhiming Liu
claim paper
Read More »
26
click to vote
ISSE
2008
79
views
Security Privacy
»
more
ISSE 2008
»
An MDE-based method for bridging different design notations
13 years 11 months ago
Download
www.artist-embedded.org
Tian Zhang, Frédéric Jouault, Jean B...
claim paper
Read More »
24
click to vote
ISSE
2008
86
views
Security Privacy
»
more
ISSE 2008
»
Ambiguity and structural properties of basic sequence diagrams
13 years 11 months ago
Download
www.artist-embedded.org
Christophe Sibertin-Blanc, Nabil Hameurlain, Omar ...
claim paper
Read More »
24
click to vote
ISSE
2008
74
views
Security Privacy
»
more
ISSE 2008
»
Safe design of high-performance embedded systems in an MDE framework
13 years 11 months ago
Download
www.artist-embedded.org
Huafeng Yu, Abdoulaye Gamatié, Éric ...
claim paper
Read More »
24
click to vote
ISSE
2008
69
views
Security Privacy
»
more
ISSE 2008
»
Timing analysis and validation with UML: the case of the embedded MARS bus manager
13 years 11 months ago
Download
www.artist-embedded.org
Iulian Ober, Susanne Graf, Yuri Yushtein, Ileana O...
claim paper
Read More »
24
click to vote
ISSE
2008
70
views
Security Privacy
»
more
ISSE 2008
»
UML behavioral consistency checking using instantiable Petri nets
13 years 11 months ago
Download
www.artist-embedded.org
Yann Thierry-Mieg, Lom-Messan Hillah
claim paper
Read More »
22
click to vote
ISSE
2008
81
views
Security Privacy
»
more
ISSE 2008
»
Formal methods for interactive systems
13 years 11 months ago
Download
www.hiraeth.com
Antonio Cerone, Paul Curzon
claim paper
Read More »
« first
‹ previous
…
89
90
91
92
93
94
95
96
97
…
next ›
last »