Search

Your search keyword '"Software design"' showing total 6,200 results
Start Over Descriptor "Software design" Database Gale General OneFile
6,200 results on '"Software design"'

5. Software isn't the real world

Author

Cook, Steve and Daniels, John

Subjects
Object-Oriented Programming, Software Design, Object Code, Modeling, Program Development Techniques, Tutorial
Published
1994

7. Power types

Author

Odell, James J.

Subjects
Object-Oriented Programming, Program Development Techniques, Software Design, Analysis
Published
1994

8. Very fast distributed spreadsheet computing

Author

Zhou, H.B. and Richter, L.

Subjects
Software Design, Distributed Systems, Scientific Research, Distributed Processing, New Technique, Performance Improvement, Spreadsheet Software, Network software, Distributed processing (Computers) -- Research, Spreadsheets -- Innovations, Network software -- Design and construction
Published
1994

9. Software design methods for the design of large-scale real-time systems

Author

Gomaa, Hassan

Subjects
System Design, Scientific Research, Concurrency Control, Modularity, New Technique, Methods, Software Design, Program Development Techniques, Concurrent Programming, Real-Time System, Information systems -- Research, Computer programming -- Methods, Concurrent programming -- Research, Real-time systems -- Design and construction
Published
1994

10. A new approach to modular liveness analysis conceived for large logic controllers' design

Author

Ferrarini, Luca, Narduzzi, Marco, and Tassan-Solet, Massimo

Subjects
Programming Management, Software Design, Control Systems, Petri nets, Computer-Integrated Manufacturing, Shop floor control, Petri nets -- Research
Abstract

When dealing with complex automation systems, the development and maintenance of control software often is a delicate task and takes a long time. The paper illustrates a Petri nets-based model to design logic controllers in an incremental mode, in which liveness analysis can be easily carried out, based on the compressed information contained in a compact graph that can be associated to the Petri net. Moreover, the incremental liveness analysis allows the portion of a net specifically involved in a fault to be identified and suggests a number of possible, even complex, remedies according to the nature of the detected faults. A necessary and sufficient condition of liveness is stated and proved.

Published
1994

12. When to stop testing for large software systems with changing code

Author

Dalal, Siddhartha R. and McIntosh, Allen A.

Subjects
Program Testing, Program Development Techniques, Scientific Research, Software Metrics, Software Design, Case Study, Modeling, Programming Management, Software engineering, Data Communications Software, Computer programming -- Methods, Programming management (Computers) -- Models, Software engineering -- Research, Communications software -- Testing
Published
1994

13. Fixed-priority sensitivity analysis for linear compute time models

Author

Vestal, Steve

Subjects
Algorithm Analysis, Scientific Research, Software Design, Scheduling, Program Development Techniques, Modeling, Processor Architecture, Software engineering, Real-Time System, Algorithms -- Analysis, Computer programming -- Models, Software engineering -- Research, Real-time systems -- Design and construction
Published
1994

14. Using term rewriting to verify software

Author

Antoy, Sergio and Gannon, John

Subjects
New Technique, Scientific Research, Software Design, Program Development Techniques, Specifications, Theorem Proving, Software engineering, Formal languages, Computer programming -- Innovations, Automated theorem proving -- Innovations, Software engineering -- Research, Formal languages -- Research
Published
1994

15. Architecture-directed refinement

Author

Roman, Gruia-Catalin and Wilcox, C. Donald

Subjects
Scientific Research, New Technique, Software Design, Program Development Techniques, Compatibility, Concurrency Control, Specifications, Software engineering, Formal languages, Software engineering -- Research, Formal languages -- Research
Published
1994

18. What you need to manage requirements: taking the guesswork out of tool selection

Author

Thompson, Jess

Subjects
Requirements Analysis, Programming Management, Program Development Techniques, Software Design, Modeling, Computer-aided software engineering, Application Development Software, Programming management (Computers), Computer programming -- Models, Computer-aided software engineering, Program development software -- Design and construction
Published
1994

19. Giving voice to requirements engineering

Author

Davis, Alan M. and Pei Hsia

Subjects
Requirements Analysis, Scientific Research, Industry Analysis, Trends, Software Design, Software engineering, Systems analysis, Software engineering -- Research, Systems analysis -- Methods
Published
1994

20. What is object-oriented design?

Author

Haythorn, Wayne

Subjects
Object-Oriented Programming, Software Design, Models, Productivity, Methods
Published
1994

21. Incorporating probabilistic reasoning in a reactive program debugging system

Author

Burnell, Lisa J. and Talbot, Scott E.

Subjects
Research and Development, New Technique, Software Design, Reservation System, Program testing software, Debugging/Testing Software, Artificial intelligence, Assembly language, American Airlines Inc. -- Research, SABRE (Reservation system), Airlines -- Reservations, Debugging software -- Innovations, Artificial intelligence -- Research, Programming languages -- Testing
Published
1994

24. On the efficient engineering of ambitious program analysis

Author

Jong-Deok Choi, Cytron, Ron, and Ferrante, Jeanne

Subjects
Technology, Application Development Software, Software Design, Methods, Software engineering, Compiler/decompiler, Data Structures, Software engineering -- Methods, Compilers -- Design and construction
Published
1994

26. File-system development with stackable layers

Author

Heidemann, John S. and Popek, Gerald J.

Subjects
Scientific Research, Performance Measurement, File Organization, New Technique, Software Design, Reusable Code, Disk/File Management Software, Unix, Software -- Reusability, File management -- Research, Unix -- Research
Published
1994

27. Disassembling object code: A misdeed?

Author

Stern, Richard H.

Subjects
Patent/Copyright Issue, Software Design, Reverse Engineering, Legal Issues, Court Cases, Intellectual property, Copyright, Reverse engineering -- Laws, regulations and rules, Intellectual property -- Laws, regulations and rules
Published
1994

28. The failure of pattern languages

Author

Gabriel, Richard P.

Subjects
Software Design, Program Development Techniques, Software Quality, Theory of Computation, Design
Published
1994

29. ODBMSs and database transparency

Author

LaLonde, Wilf and Pugh, John

Subjects
Object-Oriented Data Bases, DBMS, Object-Oriented Programming, Transparency, Software Design
Published
1994

30. A new object-oriented method integrating Jackson Structured Programming method

Author

Jen-Yen Chen and Yao-Ting Tim Chen

Subjects
Program Development Techniques, New Technique, Structured Programming, Research and Development, Software Design, Object-oriented programming, Computer programming -- Innovations, Structured programming -- Research, Object-oriented programming -- Research
Published
1994

31. A formal model for module interconnection languages

Author

Rice, M.D. and Seidman, S.B.

Subjects
Modeling, Scientific Research, Specifications, Formal Languages, Modular Programming, Modularity, Software Design, Software -- Models, Formal languages -- Research
Published
1994

33. Retrofitting software safety in an implantable medical device

Author

Mojdehbakhsh, Ramin, Tsai, Wei-tek, Kirani, Shekhar, and Elliott,Lynn

Subjects
Software Design, Safety, Software Validation, System design, Medical equipment -- Safety and security measures, System design -- Safety and security measures
Published
1994

34. Safety assurance in process control

Author

Halang, Wolfgang A. and Kramer, Bernd J.

Subjects
Safety, Programmable Controller, Software Validation, Specifications, Software Design, Programmable logic devices, Programmable logic devices -- Safety and security measures
Published
1994

35. Experience with formal methods in critical systems

Author

Gerhart, Susan, Craigen, Dan, and Ralston, Ted

Subjects
Software packages, Standard, Certification, Case Study, Methods, Software Design, Applications programming, Software, Applications programming -- Standards
Published
1994

36. Critical task of writing dependable software

Author

Knight, John and Littlewood, Bev

Subjects
Software packages, Safety, Software Design, Reliability, Programming, Applications programming, Software, Applications programming -- Safety and security measures
Published
1994

37. Simplicity through complexity

Author

Koenig, Andrew

Subjects
Computational Complexity, C Programming Language, Program Development Techniques, Tutorial, Software Design, Object-Oriented Programming, Semantics, Program Library
Published
1994

38. Pattern languages

Author

Gabriel, Richard P.

Subjects
Scientific Research, Software Design, Program Development Techniques, Object-Oriented Programming, Theory of Computation, Pattern Recognition, New Technique
Published
1994

39. Bending the rules

Author

Hart, Fred and Hillegass, Aaron

Subjects
Object-Oriented Programming, Tutorial, Program Development Techniques, Software Design, System Design
Published
1994

40. Hitting the relational wall

Author

Loomis, Mary E.S.

Subjects
Applications Programming, Object-Oriented Data Bases, Relational Data Base Management Systems, Comparison, Applications, Tutorial, Database Design, Software Design, Program Development Techniques, Case Study
Published
1994

41. A deeper look at sequencing the work on a project

Author

Mellor, Stephen J. and Shlaer, Sally

Subjects
Software Design, Programming Management, Program Development Techniques, Project Management Software, Strategic Planning, Scientific Research, Business Planning
Published
1994

45. Six different kinds of composition

Author

Odell, James J.

Subjects
Object-Oriented Programming, Program Development Techniques, Scientific Research, Software Design, Systems Analysis, New Technique
Published
1994

46. A case study of software process improvement during development

Author

Bhandari, Inderpal, Halliday, Michael, Tarver, Eric, Myller, Rolf, Chaar, Jarir, and Chillarege, Ram

Subjects
Software Design, Product Development, Operating System, Process Management, Case Study, Programming Management, Cost Benefit Analysis, Process management (Computers) -- Methods, Programming management (Computers) -- Methods
Published
1993

48. A classification of CASE technology

Author

Fuggetta, Alfonso

Subjects
Computer-aided software engineering, Classification Systems, Scientific Research, Software Design, Automation, Terminology, Computer-aided software engineering -- Terminology
Published
1993

49. Codesign of communications protocols

Author

Wenban, Alan S., O'Leary, John W., and Brown, Geoffrey M.

Subjects
Software Design, Concurrent engineering, Hardware Modification, Programming Language, Communications Technology, Concurrent engineering -- Methods
Published
1993

50. A framework for hardware/software codesign

Author

Kumar, Sanjaya, Aylor, James H., Johnson, Barry W., and Wulf, Wm. A.

Subjects
Concurrent engineering, Software Design, Optimization, Hardware Modification, New Technique, Concurrent engineering -- Methods
Published
1993

Catalog

Books, media, physical & digital resources
See catalog results