Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Computer programming --- Problem solving --- #TCPW P6.1 --- #TCPW P6.2 --- 681.3*Dm --- 681.3*I28 --- 681.3*Dm Software psychology --- Software psychology --- Computers --- Electronic computer programming --- Electronic data processing --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Methodology --- Psychology --- Decision making --- Executive functions (Neuropsychology) --- 681.3*I28 Problem solving, control methods and search: backtracking; dynamic program- ming; graph and tree search strategies; heuristics; plan execution, formationand generation (Artificial intelligence)--See also {681.3*F22} --- Problem solving, control methods and search: backtracking; dynamic program- ming; graph and tree search strategies; heuristics; plan execution, formationand generation (Artificial intelligence)--See also {681.3*F22} --- Programming

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Foreign trade policy --- Economic policy and planning (general) --- Africa --- Protectionism --- Protectionnisme --- Afrique --- Commercial policy --- Politique commerciale --- 330.191.6 --- 382 --- 382.89 --- P6 --- wereldeconomie - internationale economie --- internationale handel - wereldhandel - buitenlandse handel --- protectionisme --- Afrika --- Free trade and protection --- Eastern Hemisphere --- Commercial policy. --- Economic policy --- Commerce international --- Libre-échange --- Afrique noire --- Politique économique

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Programming --- Computer science --- #TCPW P3.0 --- #TCPW P5.1 --- #TCPW P6.3 --- 681.3*F0 --- 681.3*F1 --- Computerwetenschap--?*F0 --- Computation by abstract devices --- 681.3*F1 Computation by abstract devices --- Computer science. --- Programming Techniques. --- Computation by Abstract Devices. --- Mathematical Logic and Formal Languages. --- Informatics --- Science --- Langages de programmation --- Programming languages (Electronic computers) --- Programmation système (informatique) --- Langages de programmation.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

In light of the increasing awareness of the need to apply an engineering-type discipline to the design and construction of software systems, there arises a concomitant need to teach these concepts to students and practicing professionals. As a prelude to the educational process, it is necessary to understand the software design and development process in industry and government, to define appropriate job categories, and identify fundamental content areas of software engineering. The proceedings presented are the result of a one-day workshop organized to bring together practitioners in software engineering and educators working to build quality curricula for same. The purpose of this book is to share the questions, ideas, and conclusions of the workshop with the broader software engineering community.

Software engineering --- Study and teaching (Higher) --- Congresses --- -#TCPW P1.0 --- #TCPW P1.4 --- #TCPW P6.1 --- 681.3*K3 --- Computer software engineering --- Engineering --- -Congresses --- Computers and education --- 681.3*K3 Computers and education --- #TCPW P1.0 --- Study and teaching (Higher)&delete& --- Software engineering - Study and teaching (Higher) - Congresses

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Computer science --- Mathematical logic --- Computer programs --- Correctness --- 519.68 --- -#TCPW P6.3 --- #TCPW P9.0 --- #TELE:ELEN --- 681.3*D24 --- 681.3*D32 --- Computer program files --- Files, Computer program --- Program files, Computer --- Programs, Computer --- Computer files --- Computer software --- Computer programming --- Program verification: assertion checkers; correctness proofs; reliability; validation (Software engineering)--See also {681.3*F31} --- language classifications: applicative languages; data-flow languages; design languages; extensible languages; macro and assembly languages; nonprocedural languages; specialized application and very high-level languages (Programminglanguages) --- Correctness. --- 681.3*D32 language classifications: applicative languages; data-flow languages; design languages; extensible languages; macro and assembly languages; nonprocedural languages; specialized application and very high-level languages (Programminglanguages) --- 681.3*D24 Program verification: assertion checkers; correctness proofs; reliability; validation (Software engineering)--See also {681.3*F31} --- 519.68 Computer programming --- #TCPW P6.3 --- Correctness of computer programs --- Program correctness (Computer science) --- Debugging in computer science --- Logic, Symbolic and mathematical --- Computer programs - Correctness --- Specification --- Programming Language --- proof --- Programming Methodology