X
Search Filters
Format Format
Format Format
X
Sort by Item Count (A-Z)
Filter by Count
Newspaper Article (203036) 203036
Journal Article (43571) 43571
Conference Proceeding (16943) 16943
Magazine Article (9150) 9150
Book Chapter (8076) 8076
Newsletter (4791) 4791
Publication (4380) 4380
Book / eBook (4062) 4062
Trade Publication Article (4016) 4016
Web Resource (1597) 1597
Transcript (1255) 1255
Dissertation (612) 612
Report (451) 451
Government Document (414) 414
Book Review (359) 359
Technical Report (177) 177
Paper (129) 129
Reference (60) 60
Standard (48) 48
Journal / eJournal (47) 47
Streaming Video (7) 7
Poster (2) 2
Electronic Resource (1) 1
more...
Subjects Subjects
Subjects Subjects
X
Sort by Item Count (A-Z)
Filter by Count
software (196295) 196295
ratings & rankings (150754) 150754
jurisdiction (119098) 119098
financial services (99065) 99065
computer software industry (33071) 33071
bond ratings (19750) 19750
credit ratings (18693) 18693
computer science (18209) 18209
cash flow (16850) 16850
software engineering (15317) 15317
debt service (13435) 13435
computer science, software engineering (12788) 12788
securitization (10425) 10425
investments (10062) 10062
stockholders (8571) 8571
market positioning (7750) 7750
algorithms (7189) 7189
debt restructuring (7108) 7108
software industry (6930) 6930
product introduction (6479) 6479
capital expenditures (6223) 6223
international finance (6112) 6112
verification (5856) 5856
automation (5642) 5642
analysis (5546) 5546
computer science, theory & methods (5546) 5546
computer programs (5492) 5492
corporate profits (5448) 5448
asset backed securities (5411) 5411
stock exchanges (5346) 5346
artificial intelligence (5273) 5273
profitability (5234) 5234
cost control (5114) 5114
mortgage backed securities (5087) 5087
patents (5032) 5032
bond issues (4944) 4944
logics and meanings of programs (4863) 4863
costs (4724) 4724
computer communication networks (4713) 4713
computer science, information systems (4688) 4688
equity (4648) 4648
studies (4630) 4630
electronic design automation (4612) 4612
methods (4610) 4610
index medicus (4494) 4494
funding (4485) 4485
banking industry (4393) 4393
earnings per share (4289) 4289
financial institutions (4264) 4264
programming languages, compilers, interpreters (4247) 4247
computer software (4091) 4091
intellectual property (4087) 4087
software engineering/programming and operating systems (4050) 4050
macroeconomics (4024) 4024
computer simulation (3999) 3999
computers (3988) 3988
engineering, electrical & electronic (3957) 3957
design (3935) 3935
humans (3835) 3835
product development (3650) 3650
present value (3576) 3576
sensitivity analysis (3532) 3532
usage (3502) 3502
loans (3493) 3493
profit margins (3414) 3414
information technology (3387) 3387
mathematical models (3353) 3353
electronics industry (3226) 3226
acquisitions & mergers (3151) 3151
research (3120) 3120
school districts (3035) 3035
internet (3014) 3014
capital gains (2994) 2994
short term (2942) 2942
contracts (2935) 2935
trends (2860) 2860
simulation (2774) 2774
engineering (2751) 2751
application software (2727) 2727
risk assessment (2664) 2664
municipal bonds (2646) 2646
operating systems (2638) 2638
revolving credit (2623) 2623
banks (2602) 2602
refinancing (2586) 2586
software testing (2582) 2582
hardware (2562) 2562
programming techniques (2557) 2557
semiconductor industry (2547) 2547
computer science, hardware & architecture (2519) 2519
testing (2472) 2472
computer industry (2439) 2439
mathematical logic and formal languages (2422) 2422
business metrics (2402) 2402
electronic books (2401) 2401
fees & charges (2397) 2397
information systems applications (2296) 2296
capital structure (2262) 2262
databases (2245) 2245
surveillance (2243) 2243
more...
Library Location Library Location
Library Location Library Location
X
Sort by Item Count (A-Z)
Filter by Count
Online Resources - Online (978) 978
Engineering & Comp. Sci. - Stacks (330) 330
Gerstein Science - Stacks (219) 219
UTL at Downsview - May be requested (122) 122
Collection Dvlpm't (Acquisitions) - Vendor file (55) 55
Collection Dvlpm't (Acquisitions) - Closed Orders (44) 44
UofT at Mississauga - Stacks (29) 29
Engineering & Comp. Sci. - May be requested in 6-10 wks (24) 24
Mathematical Sciences - Stacks (20) 20
UofT at Scarborough - Stacks (18) 18
Robarts - Stacks (13) 13
Faculty of Information - Stacks (8) 8
Aerospace - Stacks (7) 7
Engineering & Comp. Sci. - Missing (5) 5
Gerstein Science - Circulation Desk (5) 5
Astronomy & Astrophysics - Ask at library (3) 3
Media Commons - Microtexts (3) 3
Physics - Stacks (3) 3
St. Michael's College (John M. Kelly) - 2nd Floor (3) 3
Engineering & Comp. Sci. - Periodical Stacks (2) 2
Law (Bora Laskin) - Stacks (2) 2
OISE - Theses (2) 2
Engineering & Comp. Sci. - Material is damaged (1) 1
Engineering & Comp. Sci. - Reference (1) 1
Innis College - Stacks (1) 1
OISE - Stacks (1) 1
Regis College - Stacks (1) 1
Scarborough Hospital - Online (1) 1
Trinity College (John W Graham) - Storage (1) 1
UofT at Mississauga - May be requested in 6-10 wks (1) 1
more...
Language Language
Language Language
X
Sort by Item Count (A-Z)
Filter by Count
English (287486) 287486
French (574) 574
Chinese (507) 507
Japanese (259) 259
German (173) 173
Spanish (153) 153
Portuguese (71) 71
Korean (27) 27
Russian (18) 18
Czech (10) 10
Romanian (8) 8
Polish (6) 6
Arabic (5) 5
Italian (5) 5
Turkish (5) 5
Dutch (4) 4
Croatian (3) 3
Urdu (3) 3
Afrikaans (2) 2
Slovenian (2) 2
Ukrainian (2) 2
Danish (1) 1
Estonian (1) 1
Latin (1) 1
Lithuanian (1) 1
Mongolian (1) 1
Norwegian (1) 1
Persian (1) 1
Swedish (1) 1
more...
Publication Date Publication Date
Click on a bar to filter by decade
Slide to change publication date range


Software testing, verification & reliability, ISSN 0960-0833, 1992
Journal
2010, ISBN 9780521113601, xiv, 767 p., [8] p. of plates
Advances in scientific computing have made modelling and simulation an important part of the decision-making process in engineering, science, and public... 
Science | Mathematics | Validation | Decision making | Numerical calculations | Data processing | Verification | Mathematical models | Computer programs
Book
SAE technical paper series, Volume 2015-01-0260.
Software verification is a critical component of software development. Software verification techniques include different forms of testing, inspection, static... 
Simulation and modeling | Computer software and hardware
eJournal
SAE technical paper series, Volume 2011-01-2530.
This paper explores the problem of complex safety/security critical software Validation and Verification (V&V). Current methods of V&V, which certify that the... 
Product development | Aircraft | Embedded software
eJournal
SAE technical paper series, Volume 2015-01-0279.
Functions and sizes of electronic control and software systems in automotives are being increased to achieve better controllability and reduce fuel... 
Electronic control systems | Computer software and hardware
eJournal
2003, Lecture notes in computer science, ISBN 9783540210023, Volume 2772, xv, 782
Book
SAE technical paper series, Volume 2011-28-0030.
Concise and effective test scripts are the key points for automation of embedded software testing. To attain the best software quality, competent test cases... 
On-board diagnostics (OBD) | Electronic control units | Embedded software
eJournal
SAE technical paper series, Volume 2015-01-0174.
Verification and Validation (V&V) techniques commonly use static analysis to detect property violations in modern software systems. However, besides checking... 
Analysis methodologies | Computer software and hardware
eJournal
SAE technical paper series, Volume 2015-01-0166.
Car infotainment systems feature an increasing number of functions to keep pace with consumer needs. The GENIVI Alliance aims to facilitate this evolution of... 
Infotainment systems | Computer software and hardware
eJournal
SAE technical paper series, Volume 2008-01-2709.
Model-Based Design with automatic code generation has long been employed for rapid prototyping and is increasing being used for mass production deployment.... 
CAD, CAM, and CAE | Test procedures | Rapid prototyping | Maintainability and supportability | Hardware-in-the-loop | Embedded software
eJournal
SAE technical paper series, Volume 2009-01-0152.
This paper describes an approach to integrating functional and non-functional design verification for embedded control software. The method uses functional... 
Embedded software
eJournal
2006, ISBN 0387259473, xii, 253
As the complexity and miniaturization of electronic hardware advances, more time and money is actually now spent on testing and verification than in the... 
Constraints (Artificial intelligence) | Electronic systems | Design and construction | Digital electronics | Testing | Technology: General Issues | Computer engineering | Engineering | Circuits and Systems | Computer-Aided Engineering (CAD, CAE) and Design | Electronic and Computer Engineering
Book
SAE technical paper series, Volume 2012-01-2029.
The heavy-duty diesel industry continues to expand the use of sophisticated electronic controls to reduce greenhouse gas emissions and improve fuel economy in... 
Heavy trucks | Hardware-in-the-loop | Embedded software
eJournal
SAE technical paper series, Volume 2011-36-0367.
The development of embedded systems in automotive environment has brought a strong expansion in the number of applications dependent of programmable devices. A... 
Wipers and washers | Simulation and modeling | Embedded software
eJournal
SAE technical paper series, Volume 2013-36-0530.
Real-time critical systems are those whose failures may cause loss of transactions/data, missions/batches, vehicles/properties, or even people/human life.... 
Computer software and hardware
eJournal
SAE technical paper series, Volume 2013-36-0530.
Real-time critical systems are those whose failures may cause loss of transactions/data, missions/batches, vehicles/properties, or even people/human life.... 
Computer software and hardware
eJournal
SAE technical paper series, Volume 2015-01-0190.
In embedded system software architectural design, the Real-Time (RT) behavior estimation needs special care and contains many technical challenges. Most of the... 
Computer simulation | Architecture | Mathematical models | Computer software and hardware
eJournal
No results were found for your search.

Cannot display more than 1000 results, please narrow the terms of your search.