Showing
1 - 20
results of
37
for search '
'
Skip to search
Skip to content
Toggle navigation
Search:
My Account
Log Out
My Account
Language
English
Deutsch
Books & more
All
All Fields
Title
Author
Subject
UDK
ISBN / ISSN
Barcode / Call number
Tag
Find
Retain my Current Filters
de105_date:"[2021-03-09T00:00:00Z TO 2021-04-08T07:46:50Z]"
author_facet:"ACM Special Interest Group on Software Engineering"
Showing
1 - 20
results of
37
for search '
', Query Time: 0.38s
Results per Page
10
20
40
60
Sorted by
Relevance
Date Descending
Date Ascending
Person / Institution
Title
Total number: 37
online resource
Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering Workshops
(2020)
by
Grundy, John
, 2020
E-Book
Loading ...
Online
Lizenzpflichtig, Verlag
Saved in:
online resource
Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering
(2020)
by
Grundy, John
, 2020
E-Book
Loading ...
Online
Lizenzpflichtig, Verlag
Saved in:
online resource
Proceedings of the 16th Conference on Formal Methods in Computer-Aided Design
(2016)
by
Piskac, Ruzica
, 2016
E-Book
Loading ...
Online
Lizenzpflichtig, Verlag
Saved in:
online resource
Proceedings of the 14th Conference on Formal Methods in Computer-Aided Design
(2014)
by
Claessen, Koen
;
Kuncak, Viktor
, 2014
E-Book
Loading ...
Online
Lizenzpflichtig, Verlag
Saved in:
online resource
Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
(2012)
by
France, Robert B.
;
Kazmeier, Jürgen
;
Breu, Ruth
et al. , 2012
E-Book
Loading ...
Online
Lizenzpflichtig, Verlag
Saved in:
online resource
Proceedings of the 4th international conference on Engineering Secure Software and Systems
(2012)
by
Barthe, Gilles
;
Livshits, Benjamin
;
Scandariato, Riccardo
, 2012
E-Book
Loading ...
Online
Lizenzpflichtig, Verlag
Saved in:
online resource
Proceedings of the 26th European conference on Object-Oriented Programming
(2012)
by
Noble, James
, 2012
E-Book
Loading ...
Online
Lizenzpflichtig, Verlag
Zentralblatt MATH, Inhaltstext, Verlag
Saved in:
online resource
Proceedings of the Third international conference on Engineering secure software and systems
(2011)
by
Erlingsson, Úlfar
;
Wieringa, Roel
;
Zannone, Nicola
, 2011
E-Book
Loading ...
Online
Lizenzpflichtig, Verlag
Saved in:
online resource
Proceedings of the 11th IFIP WG 6.1 international conference on Distributed applications and interoperable systems
(2011)
by
Felber, Pascal
;
Rouvoy, Romain
, 2011
E-Book
Loading ...
Online
Lizenzpflichtig, Verlag
Saved in:
online resource
Proceedings of the 14th international conference on Model driven engineering languages and systems
(2011)
by
Whittle, Jon
;
Clark, Tony
;
Kühne, Thomas
, 2011
E-Book
Loading ...
Online
Lizenzpflichtig, Verlag
Saved in:
online resource
Proceedings of the International Conference on Formal Methods in Computer-Aided Design
(2011)
by
Bjesse, Per
, 2011
E-Book
Loading ...
Online
Lizenzpflichtig, Verlag
Saved in:
online resource
Proceedings of the 25th European conference on Object-oriented programming
(2011)
by
Mezini, Mira
, 2011
E-Book
Loading ...
Online
Lizenzpflichtig, Verlag
Zentralblatt MATH, Inhaltstext, Verlag
Saved in:
online resource
Proceedings of the 6th international conference on System analysis and modeling: about models
(2010)
by
Kraemer, Frank Alexander
;
Herrmann, Peter
, 2010
E-Book
Loading ...
Online
Lizenzpflichtig, Verlag
Saved in:
online resource
Proceedings of the 13th international conference on Model driven engineering languages and systems: Part II
(2010)
by
Petriu, Dorina C.
;
Rouquette, Nicolas
;
Haugen, Øystein
, 2010
E-Book
Loading ...
Online
Lizenzpflichtig, Verlag
Saved in:
online resource
Proceedings of the 2010 Conference on Formal Methods in Computer-Aided Design
(2010)
by
Bloem, Roderick
, 2010
E-Book
Loading ...
Online
Lizenzpflichtig, Verlag
Saved in:
online resource
Proceedings of the 13th international conference on Model driven engineering languages and systems: Part I
(2010)
by
Petriu, Dorina C.
;
Rouquette, Nicolas
;
Haugen, Øystein
, 2010
E-Book
Loading ...
Online
Lizenzpflichtig, Verlag
Saved in:
online resource
Proceedings of the 10th IFIP WG 6.1 international conference on Distributed Applications and Interoperable Systems
(2010)
by
Eliassen, Frank
;
Kapitza, Rüdiger
, 2010
E-Book
Loading ...
Online
Lizenzpflichtig, Verlag
Saved in:
online resource
Proceedings of the Second international conference on Engineering Secure Software and Systems
(2010)
by
Massacci, Fabio
;
Wallach, Dan
;
Zannone, Nicola
, 2010
E-Book
Loading ...
Online
Lizenzpflichtig, Verlag
Saved in:
online resource
Proceedings of the 24th European conference on Object-oriented programming
(2010)
by
D'Hondt, Theo
, 2010
E-Book
Loading ...
Online
Lizenzpflichtig, Verlag
Zentralblatt MATH, Inhaltstext, Verlag
Saved in:
online resource
Proceedings of the 2009 international conference on Models in Software Engineering
(2009)
by
Ghosh, Sudipto
, 2009
E-Book
Loading ...
Online
Lizenzpflichtig, Verlag
Saved in:
1
2
Next
»
[2]
Search Tools:
Get RSS Feed
—
E-Mail this Search
—
Save Search
Remove Filters
Other: 2021-03-09T00:00:00Z-2021-04-08T07:46:50Z
Author: ACM Special Interest Group on Software Engineering
Access
37
Electronic Resources
Format
37
Book, E-Book
Subject (RVK)
37
not assigned
Keyword
37
Computer science
12
Language types
9
Software development process management
6
Formal software verification
5
Logic
5
Software testing and debugging
more ...
4
Program semantics
3
Computer crime
3
Data center networks
3
Distributed systems organizing principles
3
Human computer interaction (HCI)
3
Object oriented languages
3
Program verification
3
Security and privacy
2
Compilers
2
Computer science education
2
Computer-aided design
2
Embedded software
2
Formal languages and automata theory
2
Mobile networks
2
Model checking
2
Object oriented development
2
Operating systems security
1
Automatic programming
1
Cryptography
1
Dependable and fault-tolerant systems and networks
1
Designing software
1
Distributed architectures
1
Embedded and cyber-physical systems
1
Embedded systems
1
Enterprise computing
1
Formal methods
1
Functional verification
1
Grammars and context-free languages
1
Human-centered computing
1
Knowledge representation and reasoning
1
Natural language processing
1
Network protocols
1
Organizing principles for web applications
1
Performance
1
Privacy protections
1
Program analysis
1
Scene understanding
1
Software and its engineering
1
Software architectures
1
Software maintenance tools
1
Software management
1
Software verification and validation
See All ...
less ...
Year of Publication
From:
To:
Language
37
English
Geographical Reference
37
not assigned
Collection
37
Verbunddaten SWB
Author
ACM Special Interest Group on Software Engineering
11
ACM Special Interest Group on Programming Languages
2
ACM Special Interest Group on Applied Computing
2
ACM Special Interest Group on Artificial Intelligence
2
ACM Special Interest Group on Computer-Human Interaction
2
ACM Special Interest Group on Mobility of Systems, Users, Data & Comp
more ...
2
ACM Special Interest Group on Security, Audit and Control
2
Grundy, John
2
Haugen, Øystein
2
Kühne, Thomas
2
Nierstrasz, Oscar
2
Petriu, Dorina C.
2
Rouquette, Nicolas
2
Selic, Bran
2
Whittle, Jon
2
Zannone, Nicola
1
ACM Special Interest Group on Embedded Systems
1
Arbab, Farhad
1
Atkinson, Colin
1
Barthe, Gilles
1
Bjesse, Per
1
Bloem, Roderick
1
Borriello, Gaetano
1
Breu, Ruth
1
Briand, Lionel
1
Cebulla, Michael
1
Claessen, Koen
1
Clark, Tony
1
Crnkovic, Ivica
1
D'Hondt, Theo
1
Dourish, Paul
1
Dwyer, Matthew
1
Eliassen, Frank
1
Engels, Gregor
1
Erlingsson, Úlfar
1
Ernst, Erik
1
Evans, Andy
1
Felber, Pascal
1
France, Robert
1
France, Robert B.
1
Friday, Adrian
1
Ghosh, Sudipto
1
Glück, Robert
1
Harel, David
1
Heineman, George T.
1
Herrmann, Peter
1
Holmquist, Lars Erik
1
Jazayeri, Mehdi
1
Kapitza, Rüdiger
1
Kazmeier, Jürgen
1
Kent, Stuart
1
Kraemer, Frank Alexander
1
Kuncak, Viktor
1
Livshits, Benjamin
1
Lowry, Michael
1
Massacci, Fabio
1
Mezini, Mira
1
Noble, James
1
Opdyke, Bill
1
Piskac, Ruzica
1
Reggio, Gianna
1
Rouvoy, Romain
1
Rumpe, Bernhard
1
Scandariato, Riccardo
1
Schauer, Helmut
1
Schmidt, Douglas C.
1
Schmidt, Heinz W.
1
Schürr, Andy
1
Sirjani, Marjan
1
Stafford, Judith A.
1
Szyperski, Clemens
1
Wallach, Dan
1
Weil, Frank
1
Wieringa, Roel
1
Williams, Clay
See All ...
less ...
×
Loading ...
