Semantic Scholar uses AI to extract papers important to this topic.
We describe the design and use of the Stanford CoreNLP toolkit, an extensible pipeline that provides core natural language… Expand In Software Abstractions Daniel Jackson introduces an approach to software design that draws on traditional formal methods but… Expand A 2001 IBM manifesto observed that a looming software complexity crisis -caused by applications and environments that number into… Expand Embedded products have become so complex and must be developed so quickly that current design methodologies are no longer… Expand The concept of information hiding modularity is a cornerstone of modern software design thought, but its formulation remains… Expand 1. A Software Design Manifesto. 2. Design of the Conceptual Model. 3. The Role of the Artist-Designer. 4. Design Language. 5. The… Expand Most electronic systems, whether self contained or embedded, have a predominant digital component consisting of a hardware… Expand Abstract This article describes a learning research called the Instructional Software Design Project (ISDP), and offers a… Expand The problems of designing large software systems were studied through interviewing personnel from 17 large projects. A layered… Expand We propose a method of testing the correctness of control structures that can be modeled by a finite-state machine. Test results… Expand