SwePub
Sök i SwePub databas

  Utökad sökning

Träfflista för sökning "WFRF:(Waltzman Rand) "

Sökning: WFRF:(Waltzman Rand)

  • Resultat 1-2 av 2
Sortera/gruppera träfflistan
   
NumreringReferensOmslagsbildHitta
1.
  • Tallis, Marcelo, et al. (författare)
  • Adding deductive logic to a COTS spreadsheet
  • 2007
  • Ingår i: Knowledge engineering review (Print). - 0269-8889 .- 1469-8005. ; 22:3, s. 255-268
  • Forskningsöversikt (refereegranskat)abstract
    • We exploit the spreadsheet metaphor to make deductive problem-solving methods available to the vast population of spreadsheet end-users. In particular, we show how the function-based problem-solving capabilities of spreadsheets can be extended to include logical deductive methods in a way that is consistent with the existing spreadsheet 'look and feel'. The foundation of our approach is the integration of a standard deductive logic system into a successful Commercial-Off-The-Shelf (COTS) spreadsheet. We have demonstrated this by designing and implementing an extension to Excel that manages the integration of Excel and a deductive logic engine based on the World Wide Web Consortium (W3C) standard ontology language OWL + SWRL.
  •  
2.
  • Waltzman, Rand, et al. (författare)
  • In the requirements lies the power
  • 2007
  • Ingår i: 19th International Conference on Software Engineering and Knowledge Engineering, SEKE 2007. - 9781627486613 ; , s. 185-190
  • Konferensbidrag (refereegranskat)abstract
    • System requirements expressed as scenarios represent a rich source of knowledge about a system and the context in which it is used. This is because the scenarios are the result of extensive collaborative efforts of a wide variety of stakeholders and are in a form to which all can relate. Ideally, they serve to represent the interests of all stakeholders at each stage of the development life cycle. Our focus in this paper is system testing against requirements. In particular, we show (1) how the knowledge represented in scenarios (using ScenarioML) can be directly transformed into an operational knowledge base in a rule-based programming language (JESS), (2) how this knowledge base can be used in system testing to compute, manage, and compare expectations of system behavior to actual system behavior relative to the requirements, and (3) how this can be achieved in a manner that is transparent to all stakeholders. The power of this approach derives from the peculiarly reflective character of knowledge based systems and their explicit use of meta-information and meta-information processing. We demonstrate the viability of our approach by its application to the AquaLush system in which we detected several violations of the system's stated requirements.
  •  
Skapa referenser, mejla, bekava och länka
  • Resultat 1-2 av 2
Typ av publikation
konferensbidrag (1)
forskningsöversikt (1)
Typ av innehåll
refereegranskat (2)
Författare/redaktör
Waltzman, Rand (2)
Richardson, D.J. (1)
Tallis, Marcelo (1)
Blazer, Robert (1)
Winbladh, K. (1)
Alspaugh, T. A. (1)
Lärosäte
Kungliga Tekniska Högskolan (2)
Språk
Engelska (2)
Forskningsämne (UKÄ/SCB)
Naturvetenskap (1)
År

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.

 
pil uppåt Stäng

Kopiera och spara länken för att återkomma till aktuell vy