jaykul's Bookmarks About "Programming"

Home / people / jaykul / links / "Programming"

Joel Bennett, member since Mar 18, 2005

2792 Visible Links (2905 total), 1 Public Groups, 20+ Top Tags

Search Everyone: "programming",

Top "Programming" experts: phd, moo, jstone, pablomarx, desanctifier, dapperdanman,

Groups about "Programming": programming, programming, AFFILIATE PROGRAMS, Programming, programming, Muscle Building Program Group,

Show 50 · 100 · all

1 - 10 of 40 next »

Watch jaykul

Spec# - Home

Spec# is an extension of C# including non-null types and checked exceptions, method contracts (pre- and postconditions, object invariants, etc)

by jaykul 2005-12-09 22:48 @Public/Develop/Languages/dotNET_Languages · Programming · Languages · Singularity · Microsoft · C# · Spark# · Spec#

http://research.microsoft.com/specsharp/ - cached - mail it - history

Xenopz Blog - Spec# without a Spec# project

Some simple examples of design-by-contract as implemented in Spec#'s extension of C#

by jaykul 2005-12-09 22:48 @Public/Develop/Languages/dotNET_Languages · Programming · Languages · Singularity · Microsoft · C# · Spark# · Spec#

http://www.xenopz.com/blog/bartdeboeck/PermaLink,guid,5947af11-f0a2-48e4-959e-1c3168178dc2.aspx - cached - mail it - history

Splint Home Page

by jaykul 2005-12-09 22:48 @Public/Develop/Languages/c++ · Programming · Lint · CodeChecker · C

http://www.splint.org/ - cached - mail it - history

Channel9 Wiki: HomePage

Spec# documentation as a Wiki.

by jaykul 2005-12-09 22:48 @Public/Develop/Languages/dotNET_Languages · Programming · Languages · Singularity · Microsoft · C# · Spark# · Spec#

http://channel9.msdn.com/wiki/default.aspx/SpecSharp.HomePage - cached - mail it - history

Watir: Web Application Testing in Ruby

WATIR is a Ruby tool for automated testing of web apps via the browser UI.

by jaykul 2005-12-09 22:48 @Public/Develop/Testing/Automated · Programming · Development · Testing · Automation · Ruby · Web · Scripting

http://wtr.rubyforge.org/ - cached - mail it - history

AOP Seminar

Seminar notes for Aspect-Oriented Programming

by jaykul 2005-12-09 22:48 @Public/RIT/AOP · Aspects · Programming · AOP

http://www.cs.rit.edu/usr/local/pub/jeh/courses/AOP/ - cached - mail it - history

Aspect-oriented programming: Introduction

From the Communications of the ACM Volume 44, Number 10 (2001), Pages 28-32

by jaykul 2005-12-09 22:48 @Public/RIT/AOP · Aspects · Programming · AOP · Introduction

http://delivery.acm.org/10.1145/390000/383853/p29-elrad.html?key1=383853&key2=9722043311&coll=GUIDE&dl=GUIDE&CFID=589918... - cached - mail it - history

Aspect-oriented programming: Introduction

ACM page for the introductory paper.

by jaykul 2005-12-09 22:48 @Public/RIT/AOP · Aspects · Programming · AOP · Introduction

http://portal.acm.org/citation.cfm?doid=383845.383853 - cached - mail it - history

Main Page (Wiki) :: AOSD

Wiki for AOP, lots of tools and aspect projects.

by jaykul 2005-12-09 22:48 @Public/RIT/AOP · Aspects · Programming · AOP · AOSD · Wiki

http://www.aosd.net/wiki/index.php?title=Main_Page - cached - mail it - history

The AspectJTM Programming Guide

The Eclipse Foundations documentation for AspectJ

by jaykul 2005-12-09 22:48 @Public/RIT/AOP · Aspect · AOP · documentation · programming

http://www.eclipse.org/aspectj/doc/released/progguide/ - cached - mail it - history

1 - 10 of 40 next »

Related Tags

- exclude ~ optional + require

-- ~ + 28 programming

-- ~ + 17 develop

-- ~ + 10 downloads

-- ~ + 10 language

-- ~ + 10 languages

-- ~ + 9 program

-- ~ + 5 @public/rit/aop

-- ~ + 5 aop

-- ~ + 5 apps

-- ~ + 5 scripting

-- ~ + 4 aspects

-- ~ + 4 programs

-- ~ + 3 @public/develop/languages/dotnet_languages

-- ~ + 3 c#

-- ~ + 3 compiled

-- ~ + 3 introduction

Add Dates

Dec 9, 2005

Mar 18, 2005