Natural Language Requirements Dataset

SRS Comparison:

doc name topic format pp pictures/tables
(Many/Few/None) level
(High/
Low) structure
(Unstructured/
Structured/
One Statement) source
(Industry/
University)

2001 - beyond user interface .pdf 44 F H U I

2009 - inventory 2.0 inventory management system .pdf 62 M L U + S I

2008 - peering internetworking of content delivery network .pdf 17 F L U + S U

2005 - znix framework .pdf 20 F H U I

1995 - gemini telescope .pdf 96 N H U I

2003 - pnnl diagnostic .pdf 176 M L U + S I

2010 - blit draft laboratory information system .pdf 12 N H O I

2007 - get real 0.2 website .pdf 10 N H U U

2007- eirene fun 7 digital radio standard for railway .pdf 97 F H O I

2006 - eirene sys 15 digital radio standard for railway .pdf 138 M H O I

2008 - vub publication management system .pdf 40 N H U + S U

2010 - home 1.3 digital home .pdf 15 N H O U

2004 - rlcs railway control .pdf 66 M L U + O I

2005 - microcare voucher management .pdf 33 N H U I

2010 - gparted partition editor GUI .pdf 26 M H U U

2005 - grid 3D visualization of biological data in 3D .pdf 15 M H U + O U

2005 - phin trace and monitor health outbreak .pdf 16 N H U + O I

2010 - split merge PDF manipulation .pdf 34 M L U + O I

2007 - water use water use monitor and control .pdf 42 F H U + O I

2007 - ertms train control .pdf 98 N H O I

1999 - tcs aircraft control .pdf 148 F H O I

2004 - ijis justice administration .doc 26 N H S I

2004 - watcom gui user interface .pdf 54 M L S I

2005 - clarus high weather and road condition monitoring .doc 39 F H U + O I

2005 - clarus low weather and road condition monitoring .pdf 99 F L U + O I

2009 - video search search video in multiple search engines .pdf 14 N H U + O U

2007 - central trading system GUI and application for trading .pdf 17 M H U + S U

2001 - hats GUI for program transformation .pdf 56 F L U + O + S U

2003 - qheadache GUI for a game .pdf 15 N H S I

2000 - nasa x38 spacecraft sw .doc 98 F L U + O I

0000 - gamma j web store .pdf 44 F H U + S U

0000 - inventory inventory management system .pdf 31 M H S U

0000 - cctns crime investigation management system .pdf 19 F H U + O I

2001 - esa space data management .pdf 17 N H U + O I

2005 - triangle triangulation game .pdf 23 N H S U

2008 - keepass password management .pdf 29 F H S I

2003 - agentmom multi agent systems .pdf 8 M H U + O U

2003 - tachonet centralized monitoring of professional drivers .pdf 56 M L O + S I

2004 - colorcast paint .pdf 18 N H U + O U

2001 - elsfork wind turbine communication .pdf 69 F H U I

2008 - caiso blackout restart .pdf 11 N H U + O + S I

2004 - jse money transaction .doc 42 M L U I

2001 - telescope telescope flight software .pdf 107 M L U + S I

2005 - pontis highway bridge information management .pdf 82 M H U + O I

2009 - peppol public tenders management .pdf 127 M H U + O I

2001 - ctc network traffic management infrastructure .pdf 32 N L O I

2010 - fishing fishing vessel logbook .pdf 49 M L U + O I

2004 - watcom software porting .pdf 55 H L S I

2009 - library library system .pdf 18 N H U + O U

2001 - space fractions learning tool for elementary school .pdf 9 N H S U

1998 - themas energy management system .pdf 40 M H S U

2007 - puget sound courseware system .pdf 14 N H U + O U

2004 - grid bgc bio-geo-chemical modeling .pdf 34 F L O U

2010 - mashboot ws to monitor company presence in social network .pdf 15 F H O + S U

2002 - sce api simulator api .pdf 94 M L U I

2009 - peazip zip tool .pdf 34 M L U + O U

2004 - philips messaging tool .doc 7 N H O U

2001 - npac number porting server .doc 288 M L U + O I

2001 - libra cluster computing scheduler .doc 18 N H U + S U

2007 - nlm digital library repository management .doc 54 F H U + O I

2004 - e-procurement portal for procurements management .rtf 50 M L S I

2009 - library library management system .doc 17 N H O U

2009 - email state email system .pdf 15 N H U + O I

2009 - gaia catalog data retrieval .pdf 28 M L U + O I

2009 - model manager research task management .pdf 13 F H S U

2006 - stewards watershed data management .pdf 45 F H U + O I

2011 - opensg 0.1 information management framework .doc 14 N H U I

2004 - sprat goals and scenario management in requirements documents .pdf 33 N H U + O U

2008 - virtual edu education portal .doc 42 F H S U

2007 - e-store e-store .doc 15 N H U + O U

2008 - viper supply chain management .doc 88 M L U + S U

2009 - warc III archive file manipulation .pdf 10 F H U + O I

2002 - evla back astronomic data management .pdf 22 F H U + O I

2002 - evla corr astronomic data management .pdf 17 M H U + O I

2007 - nde satellite .pdf 99 N H U + O I

2007 - mdot transportation info management .pdf 56 N H U + O I

1999 - dii defense information management .html 27 N H U I

2005 - nenios healthcare .html 14 N H O I

1999 - multi-mahjong game .html 19 F L O U

Formal Methods & Tools Group
Institute of information science and technologies "Alessandro Faedo"

doc name	topic	format	pp	pictures/tables (Many/Few/None)	level (High/ Low)	structure (Unstructured/ Structured/ One Statement)	source (Industry/ University)
2001 - beyond	user interface	.pdf	44	F	H	U	I
2009 - inventory 2.0	inventory management system	.pdf	62	M	L	U + S	I
2008 - peering	internetworking of content delivery network	.pdf	17	F	L	U + S	U
2005 - znix	framework	.pdf	20	F	H	U	I
1995 - gemini	telescope	.pdf	96	N	H	U	I
2003 - pnnl	diagnostic	.pdf	176	M	L	U + S	I
2010 - blit draft	laboratory information system	.pdf	12	N	H	O	I
2007 - get real 0.2	website	.pdf	10	N	H	U	U
2007- eirene fun 7	digital radio standard for railway	.pdf	97	F	H	O	I
2006 - eirene sys 15	digital radio standard for railway	.pdf	138	M	H	O	I
2008 - vub	publication management system	.pdf	40	N	H	U + S	U
2010 - home 1.3	digital home	.pdf	15	N	H	O	U
2004 - rlcs	railway control	.pdf	66	M	L	U + O	I
2005 - microcare	voucher management	.pdf	33	N	H	U	I
2010 - gparted	partition editor GUI	.pdf	26	M	H	U	U
2005 - grid 3D	visualization of biological data in 3D	.pdf	15	M	H	U + O	U
2005 - phin	trace and monitor health outbreak	.pdf	16	N	H	U + O	I
2010 - split merge	PDF manipulation	.pdf	34	M	L	U + O	I
2007 - water use	water use monitor and control	.pdf	42	F	H	U + O	I
2007 - ertms	train control	.pdf	98	N	H	O	I
1999 - tcs	aircraft control	.pdf	148	F	H	O	I
2004 - ijis	justice administration	.doc	26	N	H	S	I
2004 - watcom gui	user interface	.pdf	54	M	L	S	I
2005 - clarus high	weather and road condition monitoring	.doc	39	F	H	U + O	I
2005 - clarus low	weather and road condition monitoring	.pdf	99	F	L	U + O	I
2009 - video search	search video in multiple search engines	.pdf	14	N	H	U + O	U
2007 - central trading system	GUI and application for trading	.pdf	17	M	H	U + S	U
2001 - hats	GUI for program transformation	.pdf	56	F	L	U + O + S	U
2003 - qheadache	GUI for a game	.pdf	15	N	H	S	I
2000 - nasa x38	spacecraft sw	.doc	98	F	L	U + O	I
0000 - gamma j	web store	.pdf	44	F	H	U + S	U
0000 - inventory	inventory management system	.pdf	31	M	H	S	U
0000 - cctns	crime investigation management system	.pdf	19	F	H	U + O	I
2001 - esa	space data management	.pdf	17	N	H	U + O	I
2005 - triangle	triangulation game	.pdf	23	N	H	S	U
2008 - keepass	password management	.pdf	29	F	H	S	I
2003 - agentmom	multi agent systems	.pdf	8	M	H	U + O	U
2003 - tachonet	centralized monitoring of professional drivers	.pdf	56	M	L	O + S	I
2004 - colorcast	paint	.pdf	18	N	H	U + O	U
2001 - elsfork	wind turbine communication	.pdf	69	F	H	U	I
2008 - caiso	blackout restart	.pdf	11	N	H	U + O + S	I
2004 - jse	money transaction	.doc	42	M	L	U	I
2001 - telescope	telescope flight software	.pdf	107	M	L	U + S	I
2005 - pontis	highway bridge information management	.pdf	82	M	H	U + O	I
2009 - peppol	public tenders management	.pdf	127	M	H	U + O	I
2001 - ctc network	traffic management infrastructure	.pdf	32	N	L	O	I
2010 - fishing	fishing vessel logbook	.pdf	49	M	L	U + O	I
2004 - watcom	software porting	.pdf	55	H	L	S	I
2009 - library	library system	.pdf	18	N	H	U + O	U
2001 - space fractions	learning tool for elementary school	.pdf	9	N	H	S	U
1998 - themas	energy management system	.pdf	40	M	H	S	U
2007 - puget sound	courseware system	.pdf	14	N	H	U + O	U
2004 - grid bgc	bio-geo-chemical modeling	.pdf	34	F	L	O	U
2010 - mashboot	ws to monitor company presence in social network	.pdf	15	F	H	O + S	U
2002 - sce api	simulator api	.pdf	94	M	L	U	I
2009 - peazip	zip tool	.pdf	34	M	L	U + O	U
2004 - philips	messaging tool	.doc	7	N	H	O	U
2001 - npac	number porting server	.doc	288	M	L	U + O	I
2001 - libra	cluster computing scheduler	.doc	18	N	H	U + S	U
2007 - nlm	digital library repository management	.doc	54	F	H	U + O	I
2004 - e-procurement	portal for procurements management	.rtf	50	M	L	S	I
2009 - library	library management system	.doc	17	N	H	O	U
2009 - email	state email system	.pdf	15	N	H	U + O	I
2009 - gaia	catalog data retrieval	.pdf	28	M	L	U + O	I
2009 - model manager	research task management	.pdf	13	F	H	S	U
2006 - stewards	watershed data management	.pdf	45	F	H	U + O	I
2011 - opensg 0.1	information management framework	.doc	14	N	H	U	I
2004 - sprat	goals and scenario management in requirements documents	.pdf	33	N	H	U + O	U
2008 - virtual edu	education portal	.doc	42	F	H	S	U
2007 - e-store	e-store	.doc	15	N	H	U + O	U
2008 - viper	supply chain management	.doc	88	M	L	U + S	U
2009 - warc III	archive file manipulation	.pdf	10	F	H	U + O	I
2002 - evla back	astronomic data management	.pdf	22	F	H	U + O	I
2002 - evla corr	astronomic data management	.pdf	17	M	H	U + O	I
2007 - nde	satellite	.pdf	99	N	H	U + O	I
2007 - mdot	transportation info management	.pdf	56	N	H	U + O	I
1999 - dii	defense information management	.html	27	N	H	U	I
2005 - nenios	healthcare	.html	14	N	H	O	I
1999 - multi-mahjong	game	.html	19	F	L	O	U