STREBORGCOMPUTING.BLOGSPOT.COM

Streborg Computing

Quality in Software Development. Tuesday, 26 May 2015. This post I just want to think a little bit about the whole idea of proving code, and quality in general. Writing verified code seems such a fantastic concept - why isn't everyone doing it? I guess the old saying applies - there's no silver bullet when it comes to software development. Do we need it? Many times, we simply didn't use these things, or did them to a much lesser extent than we "should". And why wouldn't they? A lot of business software i...

http://streborgcomputing.blogspot.com/

OVERVIEW OF streborgcomputing.blogspot.com

TRAFFIC RANK

>1,000,000

REVIEWS

0

PAGES IN THIS WEBSITE

9

LINKS TO THIS WEBSITE

CONTACTS

ADDRESSES

SOCIAL LINKS

ONLINE SINCE

WEBSITE DETAILS

SEO

PAGES

SIMILAR SITES

TRAFFIC RANK FOR STREBORGCOMPUTING.BLOGSPOT.COM

TODAY'S RATING

>1,000,000

TRAFFIC RANK - AVERAGE PER MONTH

BEST MONTH

April

AVERAGE PER DAY Of THE WEEK

HIGHEST TRAFFIC ON

Wednesday

TRAFFIC BY CITY

Sign up

CUSTOMER REVIEWS

Average Rating: 3.9 out of 5 with 17 reviews

5 star

6

4 star

6

3 star

4

2 star

0

1 star

1

Hey there! Start your review of streborgcomputing.blogspot.com

AVERAGE USER RATING

Write a Review

WEBSITE PREVIEW

LOAD TIME

0.2 seconds

FAVICON PREVIEW

16x16
32x32
64x64
128x128

CONTACTS AT STREBORGCOMPUTING.BLOGSPOT.COM

ADD CONTACT

Login

TO VIEW CONTACTS

Remove Contacts

FOR PRIVACY ISSUES

CONTENT

PAGES IN
THIS WEBSITE

9

SSL

EXTERNAL LINKS

0

SITE IP

74.125.228.202

LOAD TIME

0.249 sec

SCORE

6.2

PAGE TITLE

Streborg Computing | streborgcomputing.blogspot.com Reviews

<META> DESCRIPTION

Quality in Software Development. Tuesday, 26 May 2015. This post I just want to think a little bit about the whole idea of proving code, and quality in general. Writing verified code seems such a fantastic concept - why isn't everyone doing it? I guess the old saying applies - there's no silver bullet when it comes to software development. Do we need it? Many times, we simply didn't use these things, or did them to a much lesser extent than we should. And why wouldn't they? A lot of business software i...

<META> KEYWORDS

1 streborg computing

2 no silver bullet

3 testing vs proving

4 a possible scenario

5 conclusion

6 posted by

7 guraaku

8 no comments

9 email this

10 blogthis

CONTENT

Page content here

KEYWORDS ON PAGE

streborg computing,no silver bullet,testing vs proving,a possible scenario,conclusion,posted by,guraaku,no comments,email this,blogthis,share to twitter,share to facebook,share to pinterest,labels dbc,dependent types,quality,a first proof,nothing = refl

SERVER

GSE

CONTENT-TYPE

utf-8

GOOGLE PREVIEW

Streborg Computing | streborgcomputing.blogspot.com Reviews

https://streborgcomputing.blogspot.com

Quality in Software Development. Tuesday, 26 May 2015. This post I just want to think a little bit about the whole idea of proving code, and quality in general. Writing verified code seems such a fantastic concept - why isn't everyone doing it? I guess the old saying applies - there's no silver bullet when it comes to software development. Do we need it? Many times, we simply didn't use these things, or did them to a much lesser extent than we "should". And why wouldn't they? A lot of business software i...

INTERNAL PAGES

streborgcomputing.blogspot.com

1

Streborg Computing: No silver bullet...

http://www.streborgcomputing.blogspot.com/2015/05/no-silver-bullet.html

Quality in Software Development. Tuesday, 26 May 2015. This post I just want to think a little bit about the whole idea of proving code, and quality in general. Writing verified code seems such a fantastic concept - why isn't everyone doing it? I guess the old saying applies - there's no silver bullet when it comes to software development. Do we need it? Many times, we simply didn't use these things, or did them to a much lesser extent than we "should". And why wouldn't they? A lot of business software i...

2

Streborg Computing: The Equals type

http://www.streborgcomputing.blogspot.com/2015/05/the-equals-type.html

Quality in Software Development. Wednesday, 13 May 2015. The Equals type in Idris is another one of those deceptively simple datatypes - such a small definition, but takes a little bit to get your head around. It's one of the basic building blocks from which we can start to build proofs of our code, so it's important that we do have a good understanding of it and the concepts it embodies. All fairly straightforward - and again, remember, the "proving" is all happening at run time. That is, without actual...

3

Streborg Computing: May 2015

http://www.streborgcomputing.blogspot.com/2015_05_01_archive.html

Quality in Software Development. Tuesday, 26 May 2015. This post I just want to think a little bit about the whole idea of proving code, and quality in general. Writing verified code seems such a fantastic concept - why isn't everyone doing it? I guess the old saying applies - there's no silver bullet when it comes to software development. Do we need it? Many times, we simply didn't use these things, or did them to a much lesser extent than we "should". And why wouldn't they? A lot of business software i...

4

Streborg Computing: I hope this isn't another monad tutorial ?!!?!

http://www.streborgcomputing.blogspot.com/2015/05/i-hope-this-isnt-another-monad-tutorial.html

Quality in Software Development. Thursday, 7 May 2015. I hope this isn't another monad tutorial? I just want to step back from Idris coding for a minute and reflect on why it sometimes seems difficult to get your head around functional programming (let alone dependent types! For someone coming from an imperative or object oriented background. I think I probably wouldn't be alone in thinking that - dare I say it - monads. Chapters on functors and applicatives. Of course it sounds blindingly obvious to say...

5

Streborg Computing: Elem - a brush with Curry-Howard ?

http://www.streborgcomputing.blogspot.com/2015/05/elem-brush-with-curry-howard.html

Quality in Software Development. Saturday, 2 May 2015. Elem - a brush with Curry-Howard? The next interesting type that the Idris tutorial introduces is Elem. A type which it uses to demonstrate the "using" notation, but I think is more interesting because it gives us our first example of a type which proves something. Well, the Curry-Howard Isomorphism. Let's have a look at the Elem. Datatype to demonstrate what that really means. Elem - Here or There? Data Elem : a - Vect n a - Type where. Well, yes it...

UPGRADE TO PREMIUM TO VIEW 4 MORE

TOTAL PAGES IN THIS WEBSITE

9

OTHER SITES

strebordanes.webstarts.com

Blank page

To Enter Strebor Website, Please Click on the Danes.

streborddoorcoretechnical.com

Strebord Door Core Technical

Choose your door rating:.

streborfire.com

Home Page | | Strebor Fire Protection (International Ltd)

Welcome to Strebor Fire Protection (International Ltd). Strebor Fire Protection (International Ltd).

streborfzc.org

Project management consulting Legal services Business intelligence

Strebor FZC - Business and Legal Consultancy. Click on a service below for more information:. Strebor FZC corporate management consulting approach utilises industry best practices for business intelligence solutions, to maximize key performance indicators to achieve the clients operational goals. With outstanding experience in market strategic expansion project management, we generate qualitative corporate outcome and effective improvement initiatives. RISK MANAGEMENT AT YOUR FINGERTIPS. Strebor FZC Asse...

streborg.com

StreborgComputing

QUALITY IN SOFTWARE DEVELOPMENT. Catch up with the latest at the Streborg blog. The gadget spec URL could not be found. Designed by ARC Templates.

streborgcomputing.blogspot.com

Streborg Computing

Quality in Software Development. Tuesday, 26 May 2015. This post I just want to think a little bit about the whole idea of proving code, and quality in general. Writing verified code seems such a fantastic concept - why isn't everyone doing it? I guess the old saying applies - there's no silver bullet when it comes to software development. Do we need it? Many times, we simply didn't use these things, or did them to a much lesser extent than we "should". And why wouldn't they? A lot of business software i...

streborholdings.com

My Site

This is my site description. Powered by InstantPage® from GoDaddy.com. Want one?

streborltd.co.uk

Strebor Ltd | Property & Construction Consultants

Property and Construction Consultants. Strebor Property and Construction Consultants is highly responsive to the needs of our clients. Our. Strebor Property and Construction Consultants takes a long-term view to the growth of the businesses. Strebor Property and Construction Consultants strive to be innovative. . Strebor Property and Construction Consultants is a forward thinking, dynamic team of individuals. We provide. Our Services In Detail. Civil and Structural Engineering.

strebormc.com

Under Construction

streborn.com

Music Lessons - Dance Classes - Exeter, Dover NH

We began the school in 2001 teaching guitar, piano and music classes in Exeter. In 2006, we moved to the Historic Tuck Building. With the new location, MusicalArts was able to expand to accommodate dance and theater programming. What began as a school with just two instructors grew a community of over 30 talented instructors. To accommodate the demand for classes, our Dover location was opened. PHOTO and VIDEO GALLERY. Saturday June 20th , 11:00 and 2:30. Helpful tips and tools for getting the most out o...