smogit's formal-method [6 articles] Export

Recent papers added to smogit's library classified by the tag formal-method. You can also see everyone's formal-method.

	Comments on "Formal methods application: an empirical tale of software development" [My Copy] Software Engineering, IEEE Transactions on In Software Engineering, IEEE Transactions on, Vol. 29, No. 6. (2003), pp. 567-571. by D. M. Berry, W. F. Tichy posted to empirical formal-method by smogit on 2007-09-07 11:41:00 as
	Response to "Comments on 'Formal methods application: an empirical tale of software development"' [My Copy] Software Engineering, IEEE Transactions on In Software Engineering, IEEE Transactions on, Vol. 29, No. 6. (2003), pp. 572-575. by A. E. K. Sobel, M. R. Clarkson posted to empirical formal-method by smogit on 2007-09-07 11:40:14 as
	Investigating the influence of formal methods [My Copy] Computer In Computer, Vol. 30, No. 2. (1997), pp. 33-43. by S. L. Pfleeger, L. Hatton posted to empirical formal-method by smogit on 2007-09-07 11:26:10 as along with 2 people michaelbanks pipitone
	Formal methods application: an empirical tale of software development [My Copy] Software Engineering, IEEE Transactions on In Software Engineering, IEEE Transactions on, Vol. 28, No. 3. (2002), pp. 308-320. by A. E. K. Sobel, M. R. Clarkson posted to empirical formal-method by smogit on 2007-09-07 11:25:09 as
	Introduction to Formal Specification and Z (2nd Edition) [My Copy] (11 July 1996) by Ben Potter, Jane Sinclair, David Till posted to book formal-method z by smogit on 2007-09-07 10:51:11 as along with 1 person jimburton
	CADiZ: An Architecture for Z Tools and its Implementation [My Copy] Software - Practice and Experience, Vol. 25, No. 3. (1995), pp. 305-330. by Ian Toyn, John A. Mcdermid posted to cadiz formal-method z by smogit on 2007-09-07 10:49:11 as

Note: You may cite this page as: http://www.citeulike.org/user/smogit/tag/formal-method

CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.

bibtex-import	231
xp	85
empirical	60
observatory	37
tp3	34
fidelity	30
xp2008	30
archive	27
software	26
gvre	25
process	24
casestudy	22
mjstudy	22
nwc	22
test	18
vgre	16
metrics	15
testing	15
tools	15
quality	14
pair-programming	13
measurement	11
140projects	9
teaching	9
ffp	8
agile	6
formal-method	6
vimp	6
ltea	5
msr2008	5
validation	5
x-machines	5
cvs	4
fit-for-purpose	4
method	4
nlc	4
students	4
survey	4
change	3
client	3
emprical	3
evolution	3
experiment	3
iso	3
liang	3
lifecycle	3
programming	3
review	3
tool	3
z	3
barabara	2
check	2
conflict	2
conformance	2
confounding-factor	2
coverage	2
defect	2
defect-detection	2
development	2
emsepaperwmlh	2
experimental-design	2
improvement	2
john	2
jwalk	2
readme	2
refactoring	2
shodan	2
software-quality	2
spi	2
state	2
tf	2
uml	2
agent	1
ali	1
andrea	1
authorship	1
best-practice	1
book	1
cadiz	1
checking	1
ck	1
classroom	1
cmmi	1
code	1
computation-thinking	1
connectednes	1
correlation	1
customer	1
developer-perspective	1
discovery	1
doctoral	1
dynamic-extensablity	1
ects	1
effort	1
extensablity	1
external	1
extreme	1
flexablity	1
hawthorn	1
hawthorne	1
inovation	1
intangible-benefits	1
junit	1
labpack	1
language	1
maintainablity	1
management	1
measure	1
measuring	1
methodology	1
model	1
models	1
motivation-det	1
nasa	1
no-results	1
obs	1
obs-3	1
percived	1
petri	1
prediction	1
proc	1
process-assessment	1
process-benefits	1
processes	1
pygmalion	1
qualitative	1
questionaire	1
reilablity	1
research	1
research-framework	1
rules	1
small-company	1
software-engineering	1
software-process	1
ssm	1
standard	1
static-extensablity	1
story	1
tci	1
tcstudy	1
teach	1
teams	1
teamwork	1
technique	1
tsi	1
user-interfaction	1
user-percived-quality	1
version	1
web	1
xxm	1

smogit's formal-method [6 articles] Export

smogit's tags