logo
logo
x
바코드검색
BOOKPRICE.co.kr
책, 도서 가격비교 사이트
바코드검색

인기 검색어

실시간 검색어

검색가능 서점

도서목록 제공

Esec '91: 3rd European Software Engineering Conference, Esec '91, Milan, Italy, October 21-24, 1991. Proceedings

Esec '91: 3rd European Software Engineering Conference, Esec '91, Milan, Italy, October 21-24, 1991. Proceedings (Paperback, 1991)

Alfonso Fuggetta, Axel Van Lamsweerde (엮은이)
Springer
102,470원

일반도서

검색중
서점 할인가 할인률 배송비 혜택/추가 실질최저가 구매하기
84,020원 -18% 0원
4,210원
79,810원 >
yes24 로딩중
교보문고 로딩중
notice_icon 검색 결과 내에 다른 책이 포함되어 있을 수 있습니다.

중고도서

검색중
서점 유형 등록개수 최저가 구매하기
로딩중

eBook

검색중
서점 정가 할인가 마일리지 실질최저가 구매하기
로딩중

책 이미지

Esec '91: 3rd European Software Engineering Conference, Esec '91, Milan, Italy, October 21-24, 1991. Proceedings
eBook 미리보기

책 정보

· 제목 : Esec '91: 3rd European Software Engineering Conference, Esec '91, Milan, Italy, October 21-24, 1991. Proceedings (Paperback, 1991) 
· 분류 : 외국도서 > 컴퓨터 > 소프트웨어 개발/엔지니어링 > 시스템 분석/설계
· ISBN : 9783540547426
· 쪽수 : 520쪽
· 출판일 : 1991-10-09

목차

Software configuration management: Past uses and future challenges.- Architectural design for user interfaces.- The Eureka Software Factory: Concepts and accomplishments.- Integrating structured and formal methods: A visual approach to VDM.- Rational design of distributed applications.- Test data selection from algebraic specifications: Application to an automatic subway module.- Specification in COLD-1 of a CAD package for drawing shadow masks.- ASTRAL: An assertion language for specifying realtime systems.- Execution environment for ELECTRE applications.- An engineering approach to hard real-time system design.- An application of artificial intelligence to prototyping process in performance design for real-time systems.- Dynamically Replaceable Software: A design method.- Software merge: Models and methods for combining changes to programs.- A theory for software design extraction.- SESADA: An environment supporting software specialization.- Metric-driven classification analysis.- A dynamic failure model for predicting the impact that a program location has on the program.- Relation between source code metrics and structure analysis metrics.- Algebraic validation of software metrics.- An algebraic view of inheritance and subtyping in object oriented programming.- Scaling up rule-based software development environments.- Inference-based support for programming in the large.- TICKLE: Object-oriented description and composition services for software engineering environments.- Integrated project support environments, text generation and technical writing.- The Arcs experience.- Panel presentation.- The production of software in the FINSIEL group.- The impact of software engineering researches on industrial practice - a personal view.- Impact of methods on productivity & quality.- Requirements engineering - Getting right from wrong.- A (neat) alphabet of requirements engineering issues.- The scruffy side of requirements engineering.- Expediency and appropriate technology: An agenda for requirements engineering research in the 1990s.- CASE support for the software process.- CASE support for the software process: A research viewpoint.- CASE support for large systems.- CASE seen from both sides of the fence.- CASE support for the software process: Advances and problems.

저자소개

Alfonso Fuggetta (엮은이)    정보 더보기
펼치기
이 포스팅은 쿠팡 파트너스 활동의 일환으로,
이에 따른 일정액의 수수료를 제공받습니다.
이 포스팅은 제휴마케팅이 포함된 광고로 커미션을 지급 받습니다.
도서 DB 제공 : 알라딘 서점(www.aladin.co.kr)
최근 본 책