Suggested Topics within your search.
Suggested Topics within your search.
- Software engineering
- Computer science 1,080
- Computer software 813
- Development 485
- Artificial intelligence 373
- Computer networks 314
- Computer programming 221
- Management 214
- Data processing 172
- Electronic data processing 165
- Management information systems 149
- Application software 147
- Formal methods (Computer science) 124
- Logic design 122
- Programming languages (Electronic computers) 119
- Computers 117
- Engineering 110
- Computer logic 107
- Computer security 99
- Computer programs 95
- Verification 90
- Information technology 77
- Systems engineering 75
- Database management 72
- Mathematics 72
- Operating systems (Computers) 71
- Quality control 69
- Algorithms 68
- Computer simulation 68
- Data structures (Computer science) 67
-
1
-
2
Experiences using formal methods for requirements modeling
Published 1996Government Document Microfilm Book -
3
Designing for change : minimizing the impact of changing requirements in the later stages of a spaceflight software project /
Published 1998Online Access
Online Access
Government Document eBook -
4
Verification and validation of complex systems : human factors issues /
Published 1993Full Text (via Springer)
Conference Proceeding eBook -
5
-
6
Computational science and its applications -- ICCSA 2022 workshops : Malaga, Spain, July 4-7, 2022, proceedings.
Published 2022Full Text (via Springer)
Conference Proceeding eBook -
7
Computational science and its applications -- ICCSA 2021 : 21st International Conference, Cagliari, Italy, September 13-16, 2021, Proceedings.
Published 2021Full Text (via Springer)
Conference Proceeding eBook -
8
Computational science and its applications -- ICCSA 2022 workshops Malaga, Spain, July 4-7, 2022, proceedings.
Published 2022Full Text (via Springer)
Electronic Conference Proceeding eBook -
9
Computational science and its applications -- ICCSA 2021 : 21st International Conference, Cagliari, Italy, September 13-16, 2021, Proceedings.
Published 2021Full Text (via Springer)
Conference Proceeding eBook -
10
Computational science and its applications -- ICCSA 2023 Workshops : Athens, Greece, July 3-6, 2023, Proceedings.
Published 2023Full Text (via Springer)
Electronic Conference Proceeding eBook -
11
Computational science and its applications -- ICCSA 2023 Workshops : Athens, Greece, July 3-6, 2023, Proceedings.
Published 2023Full Text (via Springer)
Electronic Conference Proceeding eBook -
12
Computational science and its applications - ICCSA 2022 workshops : Malaga, Spain, July 4-7, 2022, proceedings.
Published 2022Full Text (via Springer)
Conference Proceeding eBook -
13
Computational science and its applications -- ICCSA 2018 : 18th International Conference, Melbourne, VIC, Australia, July 2?5, 2018, Proceedings.
Published 2018Full Text (via Springer)
Conference Proceeding eBook -
14
Computational science and its applications -- ICCSA 2021 : 21st International Conference, Cagliari, Italy, September 13-16, 2021, Proceedings.
Published 2021Full Text (via Springer)
Conference Proceeding eBook -
15
Computational science and its applications -- ICCSA 2023 Workshops : Athens, Greece, July 3-6, 2023, Proceedings.
Published 2023Full Text (via Springer)
Electronic Conference Proceeding eBook -
16
-
17
End-user development : 9th International Symposium, IS-EUD 2023, Cagliari, Italy, June 6-8, 2023, Proceedings /
Published 2023Full Text (via Springer)
Electronic Conference Proceeding eBook -
18
-
19
A Guide to selecting software measures and metrics /
Published 2017Full Text (via Taylor & Francis)
eBook -
20