LOG.GLIMMING.SE
Glimming's LogSome thoughts, findings, comments, references, reposts, etc, relating to my professional work (research and corporate) surface here occasionally.
http://log.glimming.se/
Some thoughts, findings, comments, references, reposts, etc, relating to my professional work (research and corporate) surface here occasionally.
http://log.glimming.se/
TODAY'S RATING
>1,000,000
Date Range
HIGHEST TRAFFIC ON
Wednesday
LOAD TIME
0.4 seconds
16x16
32x32
64x64
128x128
PAGES IN
THIS WEBSITE
15
SSL
EXTERNAL LINKS
4
SITE IP
66.6.42.22
LOAD TIME
0.439 sec
SCORE
6.2
Glimming's Log | log.glimming.se Reviews
https://log.glimming.se
Some thoughts, findings, comments, references, reposts, etc, relating to my professional work (research and corporate) surface here occasionally.
log.glimming.se
Glimming's Log • Posts Tagged ‘domain engineering’
http://log.glimming.se/tagged/domain-engineering
Language-Driven Development (LDD™) is in good company of earlier software development methods — but LDD™ is unique since it is a method based on a technological breakthrough and uses new tools from Functor AB. Elsewhere, we read that language-based verification will change the world. We all know about test-driven development and behavior-driven development and the rediscovered value of (embedded) domain-specific languages (quality, productivity, reuse at a very high level). To the next level.
Glimming's Log • Posts Tagged ‘dsl’
http://log.glimming.se/tagged/dsl
Language-Driven Development (LDD™) is in good company of earlier software development methods — but LDD™ is unique since it is a method based on a technological breakthrough and uses new tools from Functor AB. Elsewhere, we read that language-based verification will change the world. We all know about test-driven development and behavior-driven development and the rediscovered value of (embedded) domain-specific languages (quality, productivity, reuse at a very high level). To the next level.
Glimming's Log • Posts Tagged ‘software engineering’
http://log.glimming.se/tagged/software-engineering
Language-Driven Development (LDD™) is in good company of earlier software development methods — but LDD™ is unique since it is a method based on a technological breakthrough and uses new tools from Functor AB. Elsewhere, we read that language-based verification will change the world. We all know about test-driven development and behavior-driven development and the rediscovered value of (embedded) domain-specific languages (quality, productivity, reuse at a very high level). To the next level.
Glimming's Log • Posts Tagged ‘formal methods’
http://log.glimming.se/tagged/formal-methods
Language-Driven Development (LDD™) is in good company of earlier software development methods — but LDD™ is unique since it is a method based on a technological breakthrough and uses new tools from Functor AB. Elsewhere, we read that language-based verification will change the world. We all know about test-driven development and behavior-driven development and the rediscovered value of (embedded) domain-specific languages (quality, productivity, reuse at a very high level). To the next level.
Glimming's Log • Language-Driven Development (LDD™) is in good...
http://log.glimming.se/post/44794962697/language-driven-development-ldd-is-in-good
Language-Driven Development (LDD™) is in good company of earlier software development methods — but LDD™ is unique since it is a method based on a technological breakthrough and uses new tools from Functor AB. Elsewhere, we read that language-based verification will change the world. We all know about test-driven development and behavior-driven development and the rediscovered value of (embedded) domain-specific languages (quality, productivity, reuse at a very high level). To the next level.
TOTAL PAGES IN THIS WEBSITE
15
Home of Johan Glimming
http://www.glimming.se/home
CEO / CTO at Functor AB and Researcher at Uppsala University, Sweden. I am CEO/CTO at. But also a researcher with two on-going research projects with the Swedish Research Council (VR). The first associated to University of Cambridge (fellowship for two years) and the latter to Uppsala University (Department of Mathematics and and Department of Information Technology). Axiomatic domain theory, currently iteration with arrows (Freyd categories / generalizing monads and comonads).
Sitemap - Home of Johan Glimming
http://www.glimming.se/system/app/pages/sitemap/hierarchy
TOTAL LINKS TO THIS WEBSITE
4
Log.Gapteknews - Berita HOT Indonesia
Edan Nih, 6 Selebriti Ini Pamer Bagian Intim Ke Kamera! Aug 5, 2015. Membahas sosok publik figur dari seluruh dunia memang seakan tak ada habisnya. Mulai dari karya, gosip, prestasi, hingga pakaian yang mereka kenakan. Heboh Foto ‘Tidur Santai’ Marshanda dan Egi John. Jun 27, 2015. 5 Artis Ini Pernah Diajak Untuk Foto Telanjang. Jun 21, 2015. 5 Artis Ini Rela Lepas Jilbab Demi Pekerjaan. Jun 18, 2015. Rok Transparan Isi dalaman Bella Sofie Pun Jadi Kelihatan. Jun 16, 2015. Aug 9, 2015. Aug 7, 2015. May 1...
log.gcorcione
Cabin Porn, the book. We’re happy to share that Cabin Porn – our labor of love – yielded a new creative opportunity for us. We’re making a full-color book about the cabins you built and shared with us. Little, Brown. In the book we will share our story of Beaver Brook. As well as feature ten other cabins and their builders with original photography by Noah Kalina. And stories by Steven Leckart. To get on the waiting list for the book. We’d enjoy considering it for the book.
GeoLog Online
MountainView Log Homes - Home Go to our Blog
Go to our Blog. To complete your home we have allied ourselves with some of the best products available. Here are a few:. To protect your home forever we are dealers for all PermaChink products including, stain, cleaners, deck finishes and of course chinking only if you need it. Click here for the rest of our reccomended lineup! Mountain View Log Homes. The exclusive Independent Representatives for Real Log Homes in the areas we serve in Colorado, New Mexico and Arizona. We are here to serve you with:.
ghosthack
Glimming's Log
Language-Driven Development (LDD™) is in good company of earlier software development methods — but LDD™ is unique since it is a method based on a technological breakthrough and uses new tools from Functor AB. Elsewhere, we read that language-based verification will change the world. We all know about test-driven development and behavior-driven development and the rediscovered value of (embedded) domain-specific languages (quality, productivity, reuse at a very high level). To the next level. To the indu...
Stuff to remember.
Check out my new blog at gmarik.info/blog. Thursday, April 02, 2009. Moved to gmarik.info. This blog will stay but won't be updated. I've moved to gmarik.info. Posted by gmarik @ 4:17 AM. Check out my new blog at gmarik.info/blog. Friday, January 02, 2009. Code snippets - gists. If you collaborate and share code snippets you may like gist.sh. Bash script for getting/posting code snippets (gists) to/from http:/ gist.github.com. Cat file gist.sh. Posted by gmarik @ 2:50 AM. Monday, December 22, 2008. Ubunt...
GMT.io
The musings and general interest of Gustavo Tandeciarz. Dashing Through the Snow. Admit it, when you read the title of this post, you sang it in your head a little bit, didn't you? On our way back to Reykjavik, we decided to try to stop and check out the DC-3 crash (which was en-route). This proved to be a bit more difficult than originally though. You see, Google …. A Beach Covered in Diamonds. When we got to the Jokulsarlon Glacier Lagoon, we first went to the glacier side (the road is smack in the mid...
Logistikzentrum Gnetwork
Willkommen auf der Webseite des Logistikzentrums Gnetwork. Auf dieser Seite können Sie jederzeit den Status.
666成人性站
1 iOS 4.3以上版本. 2 iPhone, iPad, iPod touch. 1 ARMv7處理器, 550MHz以上cpu. 3 Android 2.2 以上. 暫不支援QQ 與微信掃一掃, 其它下載方式請點此.
SOCIAL ENGAGEMENT