SlideShare a Scribd company logo

Design by contract lightning talk

•
•
Christophe Marchal
Christophe Marchal
TechnologyBusiness
1 of 13
Download to read offline
Design by Contract
What is a contract?
Client
Supplier
Contract ● Invariant ● Precondition ● Postcondition
C4J Design By Contract for Java
Features ● Pre/Post/Invariants ● Transparent inheritance ● Enforce Liskov substitution principle ● Access to old values ● Acess to fields
java  ­javaagent:/home/toff/dev/c4j/c4j­ 2.7.5/lib/c4j.jar=trace=true ­ea
Design by contract lightning talk
Design by contract lightning talk
Design by contract lightning talk

Recommended

CUDA
CUDACUDA
CUDAChristophe Marchal
 
Lean architecture
Lean architectureLean architecture
Lean architectureChristophe Marchal
 
Spring batch-lightning-talk
Spring batch-lightning-talkSpring batch-lightning-talk
Spring batch-lightning-talkChristophe Marchal
 
Hbase
HbaseHbase
HbaseChristophe Marchal
 
ATM-1000h - Power Module - Documentation V1.7
ATM-1000h - Power Module - Documentation V1.7ATM-1000h - Power Module - Documentation V1.7
ATM-1000h - Power Module - Documentation V1.7shaukat1607
 
R presentation
R presentationR presentation
R presentationChristophe Marchal
 
Libcloud presentation
Libcloud presentationLibcloud presentation
Libcloud presentationChristophe Marchal
 
Monads in practice
Monads in practiceMonads in practice
Monads in practiceChristophe Marchal
 

Recommended

CUDA
CUDACUDA
CUDAChristophe Marchal
 
Lean architecture
Lean architectureLean architecture
Lean architectureChristophe Marchal
 
Spring batch-lightning-talk
Spring batch-lightning-talkSpring batch-lightning-talk
Spring batch-lightning-talkChristophe Marchal
 
Hbase
HbaseHbase
HbaseChristophe Marchal
 
ATM-1000h - Power Module - Documentation V1.7
ATM-1000h - Power Module - Documentation V1.7ATM-1000h - Power Module - Documentation V1.7
ATM-1000h - Power Module - Documentation V1.7shaukat1607
 
R presentation
R presentationR presentation
R presentationChristophe Marchal
 
Libcloud presentation
Libcloud presentationLibcloud presentation
Libcloud presentationChristophe Marchal
 
Monads in practice
Monads in practiceMonads in practice
Monads in practiceChristophe Marchal
 
Reactive programming with Rxjava
Reactive programming with RxjavaReactive programming with Rxjava
Reactive programming with RxjavaChristophe Marchal
 
Capistrano
CapistranoCapistrano
CapistranoChristophe Marchal
 
Devops e a nova cultura - TDC Florianopolis 2015
Devops e a nova cultura - TDC Florianopolis 2015Devops e a nova cultura - TDC Florianopolis 2015
Devops e a nova cultura - TDC Florianopolis 2015Christophe Marchal
 
Elasticsearch
ElasticsearchElasticsearch
ElasticsearchChristophe Marchal
 
Microservices Architecture: Nirvana or Nightmare
Microservices Architecture: Nirvana or NightmareMicroservices Architecture: Nirvana or Nightmare
Microservices Architecture: Nirvana or NightmareChristophe Marchal
 
Consul in 5 minutes
Consul in 5 minutesConsul in 5 minutes
Consul in 5 minutesChristophe Marchal
 
Lean architecture TDC 2013 at Porto Alegre
Lean architecture TDC 2013 at Porto AlegreLean architecture TDC 2013 at Porto Alegre
Lean architecture TDC 2013 at Porto AlegreChristophe Marchal
 
Integration with hdfs using WebDFS and NFS
Integration with hdfs using WebDFS and NFSIntegration with hdfs using WebDFS and NFS
Integration with hdfs using WebDFS and NFSChristophe Marchal
 
Terraform
TerraformTerraform
TerraformChristophe Marchal
 
Aws, play! couch db scaling soa in the cloud
Aws, play! couch db scaling soa in the cloudAws, play! couch db scaling soa in the cloud
Aws, play! couch db scaling soa in the cloudChristophe Marchal
 
20160107 - AQYLON Presentation AMN
20160107 - AQYLON Presentation AMN20160107 - AQYLON Presentation AMN
20160107 - AQYLON Presentation AMNshaukat1607
 
Elasticsearch avoiding hotspots
Elasticsearch avoiding hotspotsElasticsearch avoiding hotspots
Elasticsearch avoiding hotspotsChristophe Marchal
 
Performance
PerformancePerformance
PerformanceChristophe Marchal
 
Alluxio
AlluxioAlluxio
AlluxioChristophe Marchal
 
Elasticsearch cluster deep dive
Elasticsearch cluster deep diveElasticsearch cluster deep dive
Elasticsearch cluster deep diveChristophe Marchal
 
Spark in 15 min
Spark in 15 minSpark in 15 min
Spark in 15 minChristophe Marchal
 
Devops and the New Culture
Devops and the New CultureDevops and the New Culture
Devops and the New CultureChristophe Marchal
 
Productivity and scalability with Play and Scala
Productivity and scalability with Play and ScalaProductivity and scalability with Play and Scala
Productivity and scalability with Play and ScalaChristophe Marchal
 
Reactive application
Reactive applicationReactive application
Reactive applicationChristophe Marchal
 
Internet of things and arduino
Internet of things and arduinoInternet of things and arduino
Internet of things and arduinoChristophe Marchal
 
Big data: Loading your data with flume and sqoop
Big data: Loading your data with flume and sqoopBig data: Loading your data with flume and sqoop
Big data: Loading your data with flume and sqoopChristophe Marchal
 
Book club presentation kanban
Book club presentation kanbanBook club presentation kanban
Book club presentation kanbanChristophe Marchal
 

More Related Content

Viewers also liked

Reactive programming with Rxjava
Reactive programming with RxjavaReactive programming with Rxjava
Reactive programming with RxjavaChristophe Marchal
 
Devops e a nova cultura - TDC Florianopolis 2015
Devops e a nova cultura - TDC Florianopolis 2015Devops e a nova cultura - TDC Florianopolis 2015
Devops e a nova cultura - TDC Florianopolis 2015Christophe Marchal
 
Microservices Architecture: Nirvana or Nightmare
Microservices Architecture: Nirvana or NightmareMicroservices Architecture: Nirvana or Nightmare
Microservices Architecture: Nirvana or NightmareChristophe Marchal
 
Lean architecture TDC 2013 at Porto Alegre
Lean architecture TDC 2013 at Porto AlegreLean architecture TDC 2013 at Porto Alegre
Lean architecture TDC 2013 at Porto AlegreChristophe Marchal
 
Integration with hdfs using WebDFS and NFS
Integration with hdfs using WebDFS and NFSIntegration with hdfs using WebDFS and NFS
Integration with hdfs using WebDFS and NFSChristophe Marchal
 
Aws, play! couch db scaling soa in the cloud
Aws, play! couch db scaling soa in the cloudAws, play! couch db scaling soa in the cloud
Aws, play! couch db scaling soa in the cloudChristophe Marchal
 
20160107 - AQYLON Presentation AMN
20160107 - AQYLON Presentation AMN20160107 - AQYLON Presentation AMN
20160107 - AQYLON Presentation AMNshaukat1607
 

Viewers also liked (11)

Reactive programming with Rxjava
Reactive programming with RxjavaReactive programming with Rxjava
Reactive programming with Rxjava
 
Capistrano
CapistranoCapistrano
Capistrano
 
Devops e a nova cultura - TDC Florianopolis 2015
Devops e a nova cultura - TDC Florianopolis 2015Devops e a nova cultura - TDC Florianopolis 2015
Devops e a nova cultura - TDC Florianopolis 2015
 
Elasticsearch
ElasticsearchElasticsearch
Elasticsearch
 
Microservices Architecture: Nirvana or Nightmare
Microservices Architecture: Nirvana or NightmareMicroservices Architecture: Nirvana or Nightmare
Microservices Architecture: Nirvana or Nightmare
 
Consul in 5 minutes
Consul in 5 minutesConsul in 5 minutes
Consul in 5 minutes
 
Lean architecture TDC 2013 at Porto Alegre
Lean architecture TDC 2013 at Porto AlegreLean architecture TDC 2013 at Porto Alegre
Lean architecture TDC 2013 at Porto Alegre
 
Integration with hdfs using WebDFS and NFS
Integration with hdfs using WebDFS and NFSIntegration with hdfs using WebDFS and NFS
Integration with hdfs using WebDFS and NFS
 
Terraform
TerraformTerraform
Terraform
 
Aws, play! couch db scaling soa in the cloud
Aws, play! couch db scaling soa in the cloudAws, play! couch db scaling soa in the cloud
Aws, play! couch db scaling soa in the cloud
 
20160107 - AQYLON Presentation AMN
20160107 - AQYLON Presentation AMN20160107 - AQYLON Presentation AMN
20160107 - AQYLON Presentation AMN
 

More from Christophe Marchal

Elasticsearch avoiding hotspots
Elasticsearch avoiding hotspotsElasticsearch avoiding hotspots
Elasticsearch avoiding hotspotsChristophe Marchal
 
Elasticsearch cluster deep dive
Elasticsearch cluster deep diveElasticsearch cluster deep dive
Elasticsearch cluster deep diveChristophe Marchal
 
Productivity and scalability with Play and Scala
Productivity and scalability with Play and ScalaProductivity and scalability with Play and Scala
Productivity and scalability with Play and ScalaChristophe Marchal
 
Internet of things and arduino
Internet of things and arduinoInternet of things and arduino
Internet of things and arduinoChristophe Marchal
 
Big data: Loading your data with flume and sqoop
Big data: Loading your data with flume and sqoopBig data: Loading your data with flume and sqoop
Big data: Loading your data with flume and sqoopChristophe Marchal
 
Open Telecomunication Platform (OTP)
Open Telecomunication Platform (OTP)Open Telecomunication Platform (OTP)
Open Telecomunication Platform (OTP)Christophe Marchal
 

More from Christophe Marchal (16)

Elasticsearch avoiding hotspots
Elasticsearch avoiding hotspotsElasticsearch avoiding hotspots
Elasticsearch avoiding hotspots
 
Performance
PerformancePerformance
Performance
 
Alluxio
AlluxioAlluxio
Alluxio
 
Elasticsearch cluster deep dive
Elasticsearch cluster deep diveElasticsearch cluster deep dive
Elasticsearch cluster deep dive
 
Spark in 15 min
Spark in 15 minSpark in 15 min
Spark in 15 min
 
Devops and the New Culture
Devops and the New CultureDevops and the New Culture
Devops and the New Culture
 
Productivity and scalability with Play and Scala
Productivity and scalability with Play and ScalaProductivity and scalability with Play and Scala
Productivity and scalability with Play and Scala
 
Reactive application
Reactive applicationReactive application
Reactive application
 
Internet of things and arduino
Internet of things and arduinoInternet of things and arduino
Internet of things and arduino
 
Big data: Loading your data with flume and sqoop
Big data: Loading your data with flume and sqoopBig data: Loading your data with flume and sqoop
Big data: Loading your data with flume and sqoop
 
Book club presentation kanban
Book club presentation kanbanBook club presentation kanban
Book club presentation kanban
 
Os gi lightning talk
Os gi lightning talkOs gi lightning talk
Os gi lightning talk
 
Immutant
ImmutantImmutant
Immutant
 
Datomic
DatomicDatomic
Datomic
 
Open Telecomunication Platform (OTP)
Open Telecomunication Platform (OTP)Open Telecomunication Platform (OTP)
Open Telecomunication Platform (OTP)
 
Programming erlang
Programming erlangProgramming erlang
Programming erlang
 

Recently uploaded

Handwritten Text Recognition for manuscripts and early printed texts
Handwritten Text Recognition for manuscripts and early printed textsHandwritten Text Recognition for manuscripts and early printed texts
Handwritten Text Recognition for manuscripts and early printed textsMaria Levchenko
 
How to convert PDF to text with Nanonets
How to convert PDF to text with NanonetsHow to convert PDF to text with Nanonets
How to convert PDF to text with Nanonetsnaman860154
 
08448380779 Call Girls In Greater Kailash - I Women Seeking Men
08448380779 Call Girls In Greater Kailash - I Women Seeking Men08448380779 Call Girls In Greater Kailash - I Women Seeking Men
08448380779 Call Girls In Greater Kailash - I Women Seeking MenDelhi Call girls
 
The Role of Taxonomy and Ontology in Semantic Layers - Heather Hedden.pdf
The Role of Taxonomy and Ontology in Semantic Layers - Heather Hedden.pdfThe Role of Taxonomy and Ontology in Semantic Layers - Heather Hedden.pdf
The Role of Taxonomy and Ontology in Semantic Layers - Heather Hedden.pdfEnterprise Knowledge
 
Data Cloud, More than a CDP by Matt Robison
Data Cloud, More than a CDP by Matt RobisonData Cloud, More than a CDP by Matt Robison
Data Cloud, More than a CDP by Matt RobisonAnna Loughnan Colquhoun
 
08448380779 Call Girls In Friends Colony Women Seeking Men
08448380779 Call Girls In Friends Colony Women Seeking Men08448380779 Call Girls In Friends Colony Women Seeking Men
08448380779 Call Girls In Friends Colony Women Seeking MenDelhi Call girls
 
04-2024-HHUG-Sales-and-Marketing-Alignment.pptx
04-2024-HHUG-Sales-and-Marketing-Alignment.pptx04-2024-HHUG-Sales-and-Marketing-Alignment.pptx
04-2024-HHUG-Sales-and-Marketing-Alignment.pptxHampshireHUG
 
A Domino Admins Adventures (Engage 2024)
A Domino Admins Adventures (Engage 2024)A Domino Admins Adventures (Engage 2024)
A Domino Admins Adventures (Engage 2024)Gabriella Davis
 
08448380779 Call Girls In Civil Lines Women Seeking Men
08448380779 Call Girls In Civil Lines Women Seeking Men08448380779 Call Girls In Civil Lines Women Seeking Men
08448380779 Call Girls In Civil Lines Women Seeking MenDelhi Call girls
 
A Year of the Servo Reboot: Where Are We Now?
A Year of the Servo Reboot: Where Are We Now?A Year of the Servo Reboot: Where Are We Now?
A Year of the Servo Reboot: Where Are We Now?Igalia
 
Axa Assurance Maroc - Insurer Innovation Award 2024
Axa Assurance Maroc - Insurer Innovation Award 2024Axa Assurance Maroc - Insurer Innovation Award 2024
Axa Assurance Maroc - Insurer Innovation Award 2024The Digital Insurer
 
Histor y of HAM Radio presentation slide
Histor y of HAM Radio presentation slideHistor y of HAM Radio presentation slide
Histor y of HAM Radio presentation slidevu2urc
 
08448380779 Call Girls In Diplomatic Enclave Women Seeking Men
08448380779 Call Girls In Diplomatic Enclave Women Seeking Men08448380779 Call Girls In Diplomatic Enclave Women Seeking Men
08448380779 Call Girls In Diplomatic Enclave Women Seeking MenDelhi Call girls
 
Bajaj Allianz Life Insurance Company - Insurer Innovation Award 2024
Bajaj Allianz Life Insurance Company - Insurer Innovation Award 2024Bajaj Allianz Life Insurance Company - Insurer Innovation Award 2024
Bajaj Allianz Life Insurance Company - Insurer Innovation Award 2024The Digital Insurer
 
Advantages of Hiring UIUX Design Service Providers for Your Business
Advantages of Hiring UIUX Design Service Providers for Your BusinessAdvantages of Hiring UIUX Design Service Providers for Your Business
Advantages of Hiring UIUX Design Service Providers for Your BusinessPixlogix Infotech
 
How to Troubleshoot Apps for the Modern Connected Worker
How to Troubleshoot Apps for the Modern Connected WorkerHow to Troubleshoot Apps for the Modern Connected Worker
How to Troubleshoot Apps for the Modern Connected WorkerThousandEyes
 
Breaking the Kubernetes Kill Chain: Host Path Mount
Breaking the Kubernetes Kill Chain: Host Path MountBreaking the Kubernetes Kill Chain: Host Path Mount
Breaking the Kubernetes Kill Chain: Host Path MountPuma Security, LLC
 
From Event to Action: Accelerate Your Decision Making with Real-Time Automation
From Event to Action: Accelerate Your Decision Making with Real-Time AutomationFrom Event to Action: Accelerate Your Decision Making with Real-Time Automation
From Event to Action: Accelerate Your Decision Making with Real-Time AutomationSafe Software
 
Apidays Singapore 2024 - Building Digital Trust in a Digital Economy by Veron...
Apidays Singapore 2024 - Building Digital Trust in a Digital Economy by Veron...Apidays Singapore 2024 - Building Digital Trust in a Digital Economy by Veron...
Apidays Singapore 2024 - Building Digital Trust in a Digital Economy by Veron...apidays
 
The 7 Things I Know About Cyber Security After 25 Years | April 2024
The 7 Things I Know About Cyber Security After 25 Years | April 2024The 7 Things I Know About Cyber Security After 25 Years | April 2024
The 7 Things I Know About Cyber Security After 25 Years | April 2024Rafal Los
 

Recently uploaded (20)

Handwritten Text Recognition for manuscripts and early printed texts
Handwritten Text Recognition for manuscripts and early printed textsHandwritten Text Recognition for manuscripts and early printed texts
Handwritten Text Recognition for manuscripts and early printed texts
 
How to convert PDF to text with Nanonets
How to convert PDF to text with NanonetsHow to convert PDF to text with Nanonets
How to convert PDF to text with Nanonets
 
08448380779 Call Girls In Greater Kailash - I Women Seeking Men
08448380779 Call Girls In Greater Kailash - I Women Seeking Men08448380779 Call Girls In Greater Kailash - I Women Seeking Men
08448380779 Call Girls In Greater Kailash - I Women Seeking Men
 
The Role of Taxonomy and Ontology in Semantic Layers - Heather Hedden.pdf
The Role of Taxonomy and Ontology in Semantic Layers - Heather Hedden.pdfThe Role of Taxonomy and Ontology in Semantic Layers - Heather Hedden.pdf
The Role of Taxonomy and Ontology in Semantic Layers - Heather Hedden.pdf
 
Data Cloud, More than a CDP by Matt Robison
Data Cloud, More than a CDP by Matt RobisonData Cloud, More than a CDP by Matt Robison
Data Cloud, More than a CDP by Matt Robison
 
08448380779 Call Girls In Friends Colony Women Seeking Men
08448380779 Call Girls In Friends Colony Women Seeking Men08448380779 Call Girls In Friends Colony Women Seeking Men
08448380779 Call Girls In Friends Colony Women Seeking Men
 
04-2024-HHUG-Sales-and-Marketing-Alignment.pptx
04-2024-HHUG-Sales-and-Marketing-Alignment.pptx04-2024-HHUG-Sales-and-Marketing-Alignment.pptx
04-2024-HHUG-Sales-and-Marketing-Alignment.pptx
 
A Domino Admins Adventures (Engage 2024)
A Domino Admins Adventures (Engage 2024)A Domino Admins Adventures (Engage 2024)
A Domino Admins Adventures (Engage 2024)
 
08448380779 Call Girls In Civil Lines Women Seeking Men
08448380779 Call Girls In Civil Lines Women Seeking Men08448380779 Call Girls In Civil Lines Women Seeking Men
08448380779 Call Girls In Civil Lines Women Seeking Men
 
A Year of the Servo Reboot: Where Are We Now?
A Year of the Servo Reboot: Where Are We Now?A Year of the Servo Reboot: Where Are We Now?
A Year of the Servo Reboot: Where Are We Now?
 
Axa Assurance Maroc - Insurer Innovation Award 2024
Axa Assurance Maroc - Insurer Innovation Award 2024Axa Assurance Maroc - Insurer Innovation Award 2024
Axa Assurance Maroc - Insurer Innovation Award 2024
 
Histor y of HAM Radio presentation slide
Histor y of HAM Radio presentation slideHistor y of HAM Radio presentation slide
Histor y of HAM Radio presentation slide
 
08448380779 Call Girls In Diplomatic Enclave Women Seeking Men
08448380779 Call Girls In Diplomatic Enclave Women Seeking Men08448380779 Call Girls In Diplomatic Enclave Women Seeking Men
08448380779 Call Girls In Diplomatic Enclave Women Seeking Men
 
Bajaj Allianz Life Insurance Company - Insurer Innovation Award 2024
Bajaj Allianz Life Insurance Company - Insurer Innovation Award 2024Bajaj Allianz Life Insurance Company - Insurer Innovation Award 2024
Bajaj Allianz Life Insurance Company - Insurer Innovation Award 2024
 
Advantages of Hiring UIUX Design Service Providers for Your Business
Advantages of Hiring UIUX Design Service Providers for Your BusinessAdvantages of Hiring UIUX Design Service Providers for Your Business
Advantages of Hiring UIUX Design Service Providers for Your Business
 
How to Troubleshoot Apps for the Modern Connected Worker
How to Troubleshoot Apps for the Modern Connected WorkerHow to Troubleshoot Apps for the Modern Connected Worker
How to Troubleshoot Apps for the Modern Connected Worker
 
Breaking the Kubernetes Kill Chain: Host Path Mount
Breaking the Kubernetes Kill Chain: Host Path MountBreaking the Kubernetes Kill Chain: Host Path Mount
Breaking the Kubernetes Kill Chain: Host Path Mount
 
From Event to Action: Accelerate Your Decision Making with Real-Time Automation
From Event to Action: Accelerate Your Decision Making with Real-Time AutomationFrom Event to Action: Accelerate Your Decision Making with Real-Time Automation
From Event to Action: Accelerate Your Decision Making with Real-Time Automation
 
Apidays Singapore 2024 - Building Digital Trust in a Digital Economy by Veron...
Apidays Singapore 2024 - Building Digital Trust in a Digital Economy by Veron...Apidays Singapore 2024 - Building Digital Trust in a Digital Economy by Veron...
Apidays Singapore 2024 - Building Digital Trust in a Digital Economy by Veron...
 
The 7 Things I Know About Cyber Security After 25 Years | April 2024
The 7 Things I Know About Cyber Security After 25 Years | April 2024The 7 Things I Know About Cyber Security After 25 Years | April 2024
The 7 Things I Know About Cyber Security After 25 Years | April 2024
 

Design by contract lightning talk