software engineers typically show considerable growth in abilities over the first 5-10 years on the job. We propose that knowledge elicitation methods, normally associated withthe design of expert systems, can be use...
详细信息
All that we know about software design and reliability comes from the study of programming languages and discrete logic. We really know little or nothing about modeling the continuous, complicated world of nature. Yet...
详细信息
ISBN:
(纸本)3540545026
All that we know about software design and reliability comes from the study of programming languages and discrete logic. We really know little or nothing about modeling the continuous, complicated world of nature. Yet, more and more, softwaresystems are called upon to act in or make decisions about the physical world. If the world were discrete and lent itself to “black-box” abstractions, we could directly apply what we know about softwareengineering to produce competent and reliable systems. However, we have problems in world modeling that begin long before we actually write control and data structure code - they begin as soon as we parameterize or model the structure of the world. Every time we make a decision about how to represent the world, we necessarily partition the world states into equivalence classes of states with identical representations. We therefore lose the ability to reason about the differences among the states within each equivalence class. I call this “model aliasing”, since it’s a symbolic version of the “aliasing” phenomenon of signal processing. As a result of model aliasing, we can write programs that are provably “correct” by traditional measures, yet fail because their internal representations of the world are not faithful. Model aliasing actually pervades all of computer science, although it has only become painfully evident in the domains that model the physical world. In real system-building, the problem is exacerbated by our dependence on measurements to calibrate input devices;such measurements induce additional aliasing that we also need to understand and reason about. the usual vocabulary and curriculum in programming and softwareengineering doesn’t even begin to address these issues, and as a result, most programmers and researchers are caught absolutely unprepared to acknowledge, understand, and cope withthese problems. In this talk, I will illustrate these issues and present some very fundamental formalisms that, while not an
Research, development and delivery of a course concerning how experts debug complex softwaresystems raised questions about how to teach expert software skills - including interpersonal skills - to software profession...
详细信息
Designing software for real-time systems continues to be a challenge. In addition to functional requirements, real-time systems typically have strict requirements in the areas of performance, size, and the need for co...
详细信息
Version management services have traditionally focussed on versioning individual objects, and especially text files. this approach ignores the fact that (versions of) different objects are not independent from each ot...
详细信息
the Air Force has witnessed a shortage of qualified softwareengineering personnel, a dramatic increase in the use of software across all application areas, and an increasing complexity of systems subsequently requiri...
详细信息
Marvel is a rule-based development environment (RBDE) that assists in the process of developing software projects. Marvel encapsulates each software development activity in a rule that specifies the condition for invo...
详细信息
this paper describes a methodology in maintaining large software system (system usually with more than 200,000 lines of code). the software system is not assumed to be well documented, nor does it have proper specific...
详细信息
the University of Texas’ project-based softwareengineering class for undergraduates has used software tools for development and as final products for several years. When the opportunity arose to use Electronic Data ...
详细信息
Rule-based software development environments (RBDEs) model the software development process in terms of rules that encapsulate development activities, and assist in executing the process via forward and backward chain...
详细信息
暂无评论