Software design

Known as: Software designer 
Software design is the process by which an agent creates a specification of a software artifact, intended to accomplish goals, using a set of… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2009
Highly Cited
2009
Mobile robots have the potential to become the ideal tool to teach a broad range of engineering disciplines. Indeed, mobile… (More)
  • figure 1
  • figure 3
  • figure 2
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2006
Highly Cited
2006
Aspect-oriented programming (AOP) languages such as AspectJ offer new mechanisms and possibilities for decomposing systems into… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2003
Highly Cited
2003
We present a new methodology for automatic verification of C programs against finite state machine specifications. Our approach… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2003
Highly Cited
2003
A solid design flow must capture designs at well-defined levels of abstraction and proceed toward an efficient implementation… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
2003
Highly Cited
2003
In order to remain useful, it is important for software to evolve according to the changes in its business environment. Business… (More)
  • table 1
  • figure 1
Is this relevant?
Highly Cited
2001
Highly Cited
2001
0740-7475/01/$10.00 © 2001 IEEE November–December 2001 THE ESSENCE OF embedded-systems design is implementing a specific set of… (More)
  • figure 1
  • figure 2
Is this relevant?
Highly Cited
2001
Highly Cited
2001
ion 57-58 acquisition mechanisms 39-40 actions, in programs 18 
Is this relevant?
Highly Cited
1996
Highly Cited
1996
Most electronic systems, whether self-contained or embedded, have a predominant digital component consisting of a hardware… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1988
Highly Cited
1988
The problems of designing large software systems were studied through interviewing personnel from 17 large projects. A layered… (More)
  • figure 1
  • table I
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
1978
Highly Cited
1978
We propose a method of testing the correctness of control structures that can be modeled by a finite-state machine. Test results… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 7
Is this relevant?