Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Browse by topic Browse by titles Authors Reviewers Browse by issue Browse Help
Search
  Browse All Reviews > Software (D) > Software Engineering (D.2) > Requirements/Specifications (D.2.1) > Tools (D.2.1...)  
 
Options:
 
  1-10 of 15 Reviews about "Tools (D.2.1...)": Date Reviewed
  On the techniques we create, the tools we build, and their misalignments: a study of KLEE
Rizzi E., Elbaum S., Dwyer M.  ICSE 2016 (Proceedings of the 38th International Conference on Software Engineering, Austin, TX, May 14-22, 2016) 132-143, 2016.  Type: Proceedings

Software maintenance research seems to gets no respect and it is a minor miracle that the academic publish-or-perish system produced the data in this paper. This data indicates that ignoring maintenance distorts some academic research....

Dec 14 2016
  The NASA automated requirements measurement tool: a reconstruction
Carlson N., Laplante P. Innovations in Systems and Software Engineering 10(2): 77-91, 2014.  Type: Article

Reconstructions of systems often provide useful insights, and the work here is no exception. A description is first given of how the authors reconstructed NASA’s automated requirements measurement (ARM) tool. Then, as the aut...

Jul 8 2014
  The design of SREE: a prototype potential ambiguity finder for requirements specifications and lessons learned
Tjong S., Berry D.  REFSQ 2013 (Proceedings of the 19th International Conference on Requirements Engineering: Foundation for Software Quality, Essen, Germany, Apr 8-11, 2013) 80-95, 2013.  Type: Proceedings

The ambiguity finding tool SREE uses only lexical analysis to ensure 100 percent recall. SREE operates by searching for the presence of words and phrases defined in ten subcorpora. For example, the quantifier subcorpus contains words l...

Jul 1 2014
  A retrospective on CZT
Malik P. Software--Practice & Experience 41(2): 179-188, 2011.  Type: Article

This paper makes me think of a personals ad: “Formal project seeks developer/user for a long-term relationship.” Briefly, it summarizes a ten-year open-source project, the Community Z Tools (CZT), that developed int...

Jul 7 2011
   The small project observatory: visualizing software ecosystems
Lungu M., Lanza M., Gîrba T., Robbes R. Science of Computer Programming 75(4): 264-275, 2010.  Type: Article

In FarmVille (http://farmville.com/), a wildly popular online social networking game, players manage a virtual farm with their friends by planting, growing, and harvesting crops and trees, and raising livestock for both individual and ...

Jul 21 2010
  Automated review of natural language requirements documents: generating useful warnings with user-extensible glossaries driving a simple state machine
Jain P., Verma K., Kass A., Vasquez R.  ISEC 2009 (Proceedings of the 2nd Annual India Software Engineering Conference, Pune, India, Feb 23-26, 2009) 37-46, 2009.  Type: Proceedings

The requirements analysis tool (RAT) detects bad wording of natural language requirements and promotes the writing of complete active-voice sentences whose terms are defined in glossaries. However, RAT does not make use of state-of-the...

Jul 17 2009
  Software engineering using RATionale
Burge J., Brown D. Journal of Systems and Software 81(3): 395-413, 2008.  Type: Article

I will never forget the student who said: “I need to see this programmer’s trash can!” The student was trying to modify a program back in the 1970s. People who maintain software often wish t...

Jun 30 2008
   An empirical study on the impact of automation on the requirements analysis process
Lami G., Ferguson R. Journal of Computer Science and Technology 22(3): 338-347, 2007.  Type: Article

What if you could use natural language text to specify your requirements and have a program automatically find vagueness and conflicts? This exciting paper describes a system that performs as well as humans to find such defects....

Mar 25 2008
  Student experiences with executable acceptance testing
Read K., Melnik G., Maurer F.  Agile development (Proceedings of the Agile Development Conference (ADC’05),Jul 24-29, 2005) 312-317, 2005.  Type: Proceedings

How well can students deal with executable acceptance testing? Following a university course involving executable acceptance testing using the Framework for Interactive Testing (FIT) tool, 42 students were surveyed anonymously about th...

Jan 15 2007
  A survey of structured and object-oriented software specification methods and techniques
Wieringa R. ACM Computing Surveys 30(4): 459-527, 1998.  Type: Article

This article surveys techniques used in structured andobject-oriented software specification methods. The techniques areclassified as techniques for the specification of external interactionand internal decomposition. The e...
Jun 1 1999
 
 
 
Display per page
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud®
Terms of Use
| Privacy Policy