Loading...
Advanced Search
Welcome Guest
RSS
RSS
Public Health
Computer Engineering
Agriculture
Environment
Legacy Lectures
Home
Authors
Public Health
|
Computer Engineering
|
Agriculture
|
Environment
Assist researchers in planning and analyzing their research efforts
Member Login
Log in or sign up for more personalized features
Please fill in your email.
Please fill in a valid email
Please fill in your password
sign up
Remember me
Forgot your password?
Home
»
Computer Engineering
»
Software
»
Software Engineering
» Software/Program Verification (82) lectures
Order By: Newest |
Rating
|
View Count
A Process Decision Table for Integrated Systems and Software Engineering
By Boehm, Barry - Ann Lane, Jo
18 Slide(s),
1,468 Views, Added 12 years ago, in English
Classified as :
Computer Engineering
»
Software
»
Programming Techniques
»
Concurrent Programming
Computer Engineering
»
Software
»
Programming Techniques
»
Sequential Programming
and 6 more...
Opportunities for Cyber Trust Researchers at IARPA
11 Slide(s),
565 Views, Added 12 years ago
Classified as :
Computer Engineering
»
Software
»
Software Engineering
»
Software/Program Verification
Computer Engineering
»
Software
»
Software Engineering
»
Metrics
»
Process metrics
and 1 more...
Object-Oriented and Classical Software Engineering Sixth Edition,
By R. Schach, Stephen
29 Slide(s),
1,304 Views, Added 12 years ago, in English
Classified as :
Computer Engineering
»
Software
»
Software Engineering
»
Design
Computer Engineering
»
Software
»
Software Engineering
»
Software Architectures
and 6 more...
New Approaches to the development of the US computing work force
By Roberts, Eric
28 Slide(s),
719 Views, Added 12 years ago, in English
Classified as :
Computer Engineering
»
Software
»
Software Engineering
»
Coding Tools and Techniques
Computer Engineering
»
Software
»
Software Engineering
»
Distribution, Maintenance, and Enhancement
and 7 more...
Substitute your lectures by cooperative problem-based learning sessions
28 Slide(s),
352 Views, Added 12 years ago
Classified as :
Computer Engineering
»
Software
»
Software Engineering
»
Design Tools and Techniques
»
Software libraries
Computer Engineering
»
Software
»
Software Engineering
»
Software/Program Verification
»
Correctness proofs
and 1 more...
CMMI
By Bahill, Terry
55 Slide(s),
1,501 Views, Added 12 years ago, in English
Classified as :
Computer Engineering
»
Hardware
»
Control Structures and Microprogramming
»
Performance Analysis and Design Aids
»
Formal models
Computer Engineering
»
Software
»
Software Engineering
»
Standards
and 19 more...
Previous
1
2
3
4
5
........
14
Next
Computer Engineering (57,730)
Artificial Intelligence (
2,759
)
Computer Applications (
321
)
Computer Graphics (
1,072
)
Computer Systems Organization (
441
)
Computing Environment (
712
)
Data (
11,409
)
Document and Text Processing (
193
)
Hardware (
11,191
)
Image Processing and Computer Vision (
2,524
)
Information Systems (
4,028
)
Mathematics of Computing (
393
)
Pattern Recognition (
1,110
)
Simulation and Modeling (
1,216
)
Software (
14,813
)
Operating Systems (
3,612
)
Programming Languages (
2,152
)
Programming Techniques (
266
)
Software Engineering (
3,304
)
Coding Tools and Techniques (
39
)
Design (
1,096
)
Design Tools and Techniques (
167
)
Distribution, Maintenance, and Enhancement (
1,183
)
Interoperability (
268
)
Management (
1,263
)
Metrics (
499
)
Programming Environments (
111
)
Protection mechanisms (
22
)
Requirements/ Specifications (
277
)
Reusable Software (
78
)
Software Architectures (
395
)
Software/Program Verification (
82
)
Class invariants (
4
)
Correctness proofs (
5
)
Formal methods (
13
)
Model checking (
10
)
Reliability (
37
)
Validation (
28
)
Standards (
546
)
Testing and Debugging (
103
)
Symbolic and Algebraic Manipulation (
48
)
Theory of Computation (
391
)
Unclassified (
18,885
)
Based on the
ACM
Computing Classification System
Automatically Rated
Rated By Users
Your Feedback
Title:
Content:
You forgot to fill in your feedback
Thank You
Your feedback has been sent successfully
Register
Please
sign up
or login in Science Supercourse to enjoy all its facilities !
Please fill in your email.
Please fill in a valid email
Please fill in your password