Specification pattern

Known as: Criteria Pattern 
In computer programming, the specification pattern is a particular software design pattern, whereby business rules can be recombined by chaining the… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1986-2017
024619862017

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
To allow an automatic formal analysis of requirements, the requirements have to be formalized first. However, logical formalisms… (More)
  • table 1
  • figure 1
  • figure 2
  • figure 3
  • table 2
Is this relevant?
2010
2010
We propose a library of web specification patterns to assist web developers and testers in formally specifying web related… (More)
  • table I
  • table II
  • table III
  • table V
Is this relevant?
Highly Cited
2008
Highly Cited
2008
Program specifications are important in many phases of the software development process, but they are often omitted or incomplete… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Review
2008
Review
2008
  • Lars Grunske
  • 2008 ACM/IEEE 30th International Conference on…
  • 2008
Probabilistic verification techniques are a powerful means to ensure that a software-intensive system fulfills its quality… (More)
  • table 1
  • figure 1
  • figure 3
  • figure 2
  • table 2
Is this relevant?
2005
2005
Formal specification languages are often perceived as difficult to use by practitioners, and are therefore rarely-used in… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2004
2004
Dependable control systems are usually complex and prone to errors of various natures. Such systems are often built in a modular… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2004
2004
Prospec is a tool that assists practitioners in the elicitation and specification of system properties. Practitioners are guided… (More)
  • figure 2
  • figure 3
  • figure 4
  • figure 5
  • figure 6
Is this relevant?
2003
2003
Although formal verification techniques have been demonstrated to improve program dependability, software practitioners have not… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • table 1
Is this relevant?
2003
2003
This paper describes an approach for reusing specification patterns. Specification patterns are design patterns that are… (More)
  • figure 1
  • figure 2
  • figure 3
  • table 1
  • table 2
Is this relevant?
1998
1998
In order to reduce the costs for systems development, methods for the reuse of specification knowledge have been developed. One… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 5
  • figure 6
Is this relevant?