Die Ergebnisse können Gästen nur in Auswahl angezeigt werden. Bitte loggen Sie sich für Vollzugriff ein:
Login
Treffer 1 - 20
von 213
Sie haben nicht gefunden, wonach Sie gesucht haben? Wenden Sie sich an Kontakt such_da.
Treffer weiter einschränken
Begrenzen auf
Ergebnisse erweitern
Format
Schlagwort
object-oriented programs
96
java
24
software testing
23
verification
19
inheritance
16
02 engineering and technology
15
mehr ...
0202 electrical engineering, electronic engineering, information engineering
15
objektorientierte programmierung
14
algorithms
11
computer science
11
computing and processing
11
design
11
languages
11
01 natural sciences
9
abstraction
9
program verification
9
software
9
software engineering
9
coverage
8
model checking
8
software visualization
8
specification
8
0102 computer and information sciences
7
documentation
7
integration testing
7
logic
7
red-black trees
7
separation logic
7
evolution
6
formal specification
6
weniger ...
Veröffentlicht in
science of computer programming
8
acm sigplan notices
6
theoretical computer science
5
acm transactions on programming languages and systems
4
information and software technology
4
journal of computer and system sciences
4
mehr ...
computer journal, london
3
electronic notes in theoretical computer science
3
formal aspects of computing
3
ieee transactions on software engineering
3
software testing verification & reliability
3
acm computing surveys
2
acta informatica
2
advances in complex systems
2
communications of the acm
2
ieee software
2
information & management
2
proceedings of the 18th international conference on software engineering
2
proceedings of the 2015 10th joint meeting on foundations of software engineering
2
software testing, verification and reliability
2
17th international conference on information technology-new generations (itng 2020)
1
2005 ieee international conference on systems, man and cybernetics, systems, man and cybernetics, 2005 ieee international conference on, system, man and cybernetics
1
2008 the eighth international conference on quality software, quality software, 2008. qsic '08. the eighth international conference on
1
2011 ieee fourth international conference on software testing, verification and validation workshops, software testing, verification and validation workshops (icstw), 2011 ieee fourth international conference on
1
2014 16th international symposium on symbolic and numeric algorithms for scientific computing, symbolic and numeric algorithms for scientific computing (synasc), 2014 16th international symposium on
1
2015 asia-pacific software engineering conference (apsec), software engineering conference (apsec), 2015 asia-pacific
1
2016 17th ieee/acis international conference on software engineering, artificial intelligence, networking and parallel/distributed computing (snpd), software engineering, artificial intelligence, networking and parallel/distributed computing (snpd), 2016 17th ieee/acis international conference on
1
2018 2nd international conference on data science and business analytics (icdsba), data science and business analytics (icdsba), 2018 2nd international conference on, icdsba
1
2018 international conference on cyber-enabled distributed computing and knowledge discovery (cyberc), cyber-enabled distributed computing and knowledge discovery (cyberc), 2018 international conference on, cyberc
1
2020 zooming innovation in consumer technologies conference (zinc), consumer technologies conference (zinc), 2020 zooming innovation in
1
weniger ...
Verlag
assoc computing machinery
17
ieee
13
elsevier science bv
12
springer
7
wiley-blackwell
6
elsevier b.v.
5
mehr ...
elsevier bv
5
acm
4
elsevier
4
georgia institute of technology
4
hal ccsd
3
john wiley & sons ltd
3
springer singapore
3
union of bulgarian mathematicians
3
world scientific publ co pte ltd
3
association for computing machinery
2
ccsd
2
elsevier inc.
2
middle east technical university
2
schloss dagstuhl - leibniz-zentrum fur informatik
2
springer berlin heidelberg
2
springer science and business media llc
2
university of piraeus. international strategic management association
2
wiley
2
academic commons
1
acm press
1
aito - association internationale pour les technologies objets
1
animo repository
1
array
1
association for computing machinery (acm)
1
weniger ...
Sprache
Geographie
Datenbank
Erscheinungsjahr
Filter